Merge pull request #2993 from clinty/h-t-happy

Revert "Disable hopenpgp-tools #2899"
This commit is contained in:
Luke Murphy 2017-11-01 11:16:59 +01:00 committed by GitHub
commit 514803df18
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -883,7 +883,7 @@ packages:
- openpgp-asciiarmor - openpgp-asciiarmor
- MusicBrainz - MusicBrainz
- DAV - DAV
- hopenpgp-tools < 0 # Compilation failure https://github.com/fpco/stackage/pull/2899#issuecomment-331836991 - hopenpgp-tools
- opensource - opensource
"Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur": "Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur":
@ -3383,7 +3383,7 @@ packages:
"Jeremy Huffman <jeremy@jeremyhuffman.com> @jeremyjh": "Jeremy Huffman <jeremy@jeremyhuffman.com> @jeremyjh":
- higher-leveldb - higher-leveldb
"Adam Curtis <kallisti.dev@gmail.com> @kallisti-dev": "Adam Curtis <kallisti.dev@gmail.com> @kallisti-dev":
- webdriver - webdriver
- cond - cond