@@ -4387,8 +4387,8 @@ packages:
4388 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4388 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4389 - equational-reasoning
4389 - equational-reasoning
4390− - ghc-typelits-presburger
4390+ - ghc-typelits-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829
4391− - singletons-presburger
4391+ - singletons-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829
4392 - type-natural
4392 - type-natural
4393 - subcategories
4393 - subcategories