Disable hopenpgp-tools #2899

This commit is contained in:
Adam Bergmark 2017-09-26 12:14:31 +02:00
parent 04319dfa30
commit b6d451b183

View File

@ -874,7 +874,7 @@ packages:
- openpgp-asciiarmor - openpgp-asciiarmor
- MusicBrainz - MusicBrainz
- DAV - DAV
- hopenpgp-tools - hopenpgp-tools < 0 # Compilation failure https://github.com/fpco/stackage/pull/2899#issuecomment-331836991
- opensource - opensource
"Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur": "Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur":
@ -3346,7 +3346,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