Merge pull request #5847 from skogsbaer/master

re-enable HTF
This commit is contained in:
Alexey Zabelin 2021-01-26 20:22:04 -06:00 committed by GitHub
commit adbabde3bd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -858,7 +858,7 @@ packages:
- clock
"Stefan Wehr <mail@stefanwehr.de> @skogsbaer":
- HTF < 0 # ghc 8.10
- HTF
- xmlgen
- stm-stats < 0
- large-hashable < 0 # compilation failure