Merge pull request #5578 from clinty/hopenpgp-tools
Re-enable hopenpgp-tools
commitd6900ca837568249833b8af67027b1eae54f8d33
authorAdam Bergmark <adam@bergmark.nl>
dateSat 8 Aug 2020, 18:51 (6 years ago)
parent7fb4d50b98932f
build-constraints.yaml+1−1
@@ -1250,7 +1250,7 @@ packages:
12501250 - openpgp-asciiarmor
12511251 - MusicBrainz
12521252 - DAV
1253− - hopenpgp-tools < 0 # ghc 8.10
1253+ - hopenpgp-tools
12541254 - opensource
12551255 - debian
12561256 - cabal-debian < 0 # https://github.com/ddssff/cabal-debian/issues/71