diff --git a/build-constraints.yaml b/build-constraints.yaml
index e3987b04..179e6589 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4387,9 +4387,9 @@ packages:
 
     "Hiromi Ishii <konn.jinro@gmail.com> @konn":
         - equational-reasoning
-        - 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 < 1  # https://github.com/commercialhaskell/stackage/issues/5829
+        - ghc-typelits-presburger
+        - singletons-presburger
+        - type-natural
         - subcategories
         - sized