From 875069c24072b2739ffe5c8c2ae1d58fbe538d75 Mon Sep 17 00:00:00 2001
From: Kadzuya OKAMOTO <arowM@users.noreply.github.com>
Date: Sun, 11 Oct 2020 18:20:27 +0900
Subject: [PATCH] Re-enable heterocephalus

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 978beece..1c2c76c9 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -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