Re-enable heterocephalus

This commit is contained in:
Kadzuya OKAMOTO 2020-10-11 18:20:27 +09:00 committed by GitHub
parent 130229ec9a
commit 875069c240
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3392,7 +3392,7 @@ packages:
"Kadzuya Okamoto <arow.okamoto@gmail.com> @arowM":
- type-level-kv-list
- heterocephalus < 0 # #5434/closed
- heterocephalus
- bookkeeping < 0 # GHC 8.4 BuildFailureException Process exited with ExitFailure 1: ./Setup build
- ochintin-daicho < 0 # GHC 8.4 DependencyFailed (PackageName "bookkeeping")
- transaction