on master help sign in
Merge pull request #5468 from konn/konn/fixes-presburger-things
b009eb8Alexey Zabelin
build-constraints.yaml+4−4
@@ -4250,10 +4250,10 @@ packages:
4250
4250
4251 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4251 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
4252 - equational-reasoning
4252 - equational-reasoning
4253− - ghc-typelits-presburger < 0 # ghc 8.10.1 https://github.com/commercialhaskell/stackage/issues/5438
4253+ - ghc-typelits-presburger
4254− - singletons-presburger < 0 # via ghc-typelits-presburger
4254+ - singletons-presburger
4255− - type-natural < 0 # ghc 8.10
4255+ - type-natural
4256− - sized < 0 # ghc 8.10
4256+ - sized
4257
4257
4258 "Frank Doepper <stackage@woffs.de> @woffs":
4258 "Frank Doepper <stackage@woffs.de> @woffs":
4259 - amqp-utils
4259 - amqp-utils