Merge pull request #5033 from skogsbaer/master

re-enable HTF
This commit is contained in:
Adam Bergmark 2019-12-29 19:40:21 +01:00 committed by GitHub
commit 2e2067609b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -745,8 +745,8 @@ packages:
"Philipp Middendorf <pmidden@secure.mailbox.org> @pmiddend":
- clock
"Stefan Wehr <wehr@factisresearch.com> @skogsbaer":
- HTF < 0 # via haskell-src
"Stefan Wehr <mail@stefanwehr.de> @skogsbaer":
- HTF
- xmlgen
- stm-stats < 0
- large-hashable < 0 # compilation failure