diff --git a/build-constraints.yaml b/build-constraints.yaml
index 4a84e9b8..3c3dc531 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4387,8 +4387,8 @@ packages:
 
     "Hiromi Ishii <konn.jinro@gmail.com> @konn":
         - equational-reasoning
-        - ghc-typelits-presburger
-        - singletons-presburger
+        - ghc-typelits-presburger < 0.5  # https://github.com/commercialhaskell/stackage/issues/5829
+        - singletons-presburger < 0.5  # https://github.com/commercialhaskell/stackage/issues/5829
         - type-natural
         - subcategories
         - sized