From a4114cf9b25d0631e7d215f7fa76aff2c250aa3f Mon Sep 17 00:00:00 2001
From: Hiromi ISHII <konn.jinro@gmail.com>
Date: Sun, 9 Feb 2020 22:29:13 +0900
Subject: [PATCH] Adds equational-reasoning, ghc-typelits-presburger,
 singletons-presburger and sized

---
 build-constraints.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 9de02d16..63fe99c0 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4117,6 +4117,12 @@ packages:
 
     "8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
         - hpc-codecov
+    
+    "Hiromi Ishii <konn.jinro@gmail.com> @konn":
+        - equational-reasoning
+        - ghc-typelits-presburger
+        - type-natural
+        - sized
 
     "Grandfathered dependencies":
         - network