on master help sign in
Merge pull request #2993 from clinty/h-t-happy

Revert "Disable hopenpgp-tools #2899"

commit514803df18d5fd8e8814c64693941eb4df62b4f7 authorLuke Murphy <lwm@users.noreply.github.com> dateWed 1 Nov 2017, 11:16 (9 years ago) parentefb5aa9b0b2ec7
1 file changed+2−2
build-constraints.yaml+2−2
build-constraints.yaml+2−2
@@ -883,7 +883,7 @@ packages:
883883 - openpgp-asciiarmor
884884 - MusicBrainz
885885 - DAV
886− - hopenpgp-tools < 0 # Compilation failure https://github.com/fpco/stackage/pull/2899#issuecomment-331836991
886+ - hopenpgp-tools
887887 - opensource
888888
889889 "Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur":
@@ -3383,7 +3383,7 @@ packages:
33833383
33843384 "Jeremy Huffman <jeremy@jeremyhuffman.com> @jeremyjh":
33853385 - higher-leveldb
3386−
3386+
33873387 "Adam Curtis <kallisti.dev@gmail.com> @kallisti-dev":
33883388 - webdriver
33893389 - cond