@@ -4387,9 +4387,9 @@ 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 < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829
4390+ - ghc-typelits-presburger
4391− - singletons-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829
4391+ - singletons-presburger
4392− - type-natural < 1 # https://github.com/commercialhaskell/stackage/issues/5829
4392+ - type-natural
4393 - subcategories
4393 - subcategories