diff --git a/build-constraints.yaml b/build-constraints.yaml
index 63fe99c0..13205fa3 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4121,6 +4121,7 @@ packages:
     "Hiromi Ishii <konn.jinro@gmail.com> @konn":
         - equational-reasoning
         - ghc-typelits-presburger
+        - singletons-presburger
         - type-natural
         - sized