@@ -4240,8 +4240,8 @@ packages:
4241 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4241 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4242 - equational-reasoning
4242 - equational-reasoning
4243− - ghc-typelits-presburger
4243+ - ghc-typelits-presburger < 0 # ghc 8.10.1 https://github.com/commercialhaskell/stackage/issues/5438
4244− - singletons-presburger
4244+ - singletons-presburger < 0 # via ghc-typelits-presburger
4245 - type-natural < 0 # ghc 8.10
4245 - type-natural < 0 # ghc 8.10
4246 - sized < 0 # ghc 8.10
4246 - sized < 0 # ghc 8.10