Merge pull request #3669 from clinty/reenable

Re-enable hopenpgp-tools
This commit is contained in:
Michael Snoyman 2018-06-01 13:52:28 +03:00 committed by GitHub
commit 600a75e015
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -915,7 +915,7 @@ packages:
- openpgp-asciiarmor - openpgp-asciiarmor
- MusicBrainz - MusicBrainz
- DAV - DAV
# - hopenpgp-tools # fgl via graphviz - hopenpgp-tools
- opensource - opensource
"Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur": "Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur":
@ -2153,7 +2153,7 @@ packages:
"Ivan Miljenovic <Ivan.Miljenovic@gmail.com> @ivan-m": "Ivan Miljenovic <Ivan.Miljenovic@gmail.com> @ivan-m":
- fgl - fgl
# - graphviz # fgl 5.6.0.0 - graphviz
- wl-pprint-text - wl-pprint-text
- servant-pandoc - servant-pandoc
@ -3486,9 +3486,6 @@ packages:
# https://github.com/fpco/stackage/issues/3566 # https://github.com/fpco/stackage/issues/3566
- network < 2.7 - network < 2.7
# https://github.com/fpco/stackage/issues/3608
- wl-pprint-text < 1.2
# https://github.com/fpco/stackage/issues/3620 # https://github.com/fpco/stackage/issues/3620
- tasty < 1.1 - tasty < 1.1