Merge pull request #2899 from clinty/reenable-hopenpgp-tools
Revert "Disable hopenpgp-tools per #2812"
commit9215d1b2295231f70d820230f6691fc18466c483
authorJens Petersen <juhpetersen@gmail.com>
dateMon 25 Sep 2017, 16:28 (9 years ago)
parentc15cbbd51e5afc
build-constraints.yaml+1−1
@@ -875,7 +875,7 @@ packages:
875875 - openpgp-asciiarmor
876876 - MusicBrainz
877877 - DAV
878− # - hopenpgp-tools # https://github.com/fpco/stackage/issues/2812
878+ - hopenpgp-tools
879879 - opensource
880880
881881 "Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur":