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