@@ -4250,10 +4250,10 @@ packages:
42504250
42514251 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
42524252 - equational-reasoning
4253− - ghc-typelits-presburger < 0 # ghc 8.10.1 https://github.com/commercialhaskell/stackage/issues/5438
4254− - singletons-presburger < 0 # via ghc-typelits-presburger
4255− - type-natural < 0 # ghc 8.10
4256− - sized < 0 # ghc 8.10
4253+ - ghc-typelits-presburger
4254+ - singletons-presburger
4255+ - type-natural
4256+ - sized
42574257
42584258 "Frank Doepper <stackage@woffs.de> @woffs":
42594259 - amqp-utils