Merge pull request #5578 from clinty/hopenpgp-tools

Re-enable hopenpgp-tools
This commit is contained in:
Adam Bergmark 2020-08-08 18:51:13 +02:00 committed by GitHub
commit d6900ca837
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1250,7 +1250,7 @@ packages:
- openpgp-asciiarmor
- MusicBrainz
- DAV
- hopenpgp-tools < 0 # ghc 8.10
- hopenpgp-tools
- opensource
- debian
- cabal-debian < 0 # https://github.com/ddssff/cabal-debian/issues/71