@@ -4389,7 +4389,7 @@ packages:
4389 - equational-reasoning
4389 - equational-reasoning
4390 - ghc-typelits-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829
4390 - ghc-typelits-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829
4391 - singletons-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829
4391 - singletons-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829
4392− - type-natural
4392+ - type-natural < 1 # https://github.com/commercialhaskell/stackage/issues/5829
4393 - subcategories
4393 - subcategories