Fixes #5829: drops uppber bounds of `ghc-typelits-presburger`, `singletons-presburger` and `type-natural`.
commit98f58cb9f90c88c09ee78713eb3b586112facd6e
authorHiromi ISHII <konn.jinro@gmail.com>
dateMon 18 Jan 2021, 01:55 (6 years ago)
parent91d510e
build-constraints.yaml+3−3
@@ -4387,9 +4387,9 @@ packages:
43874387
43884388 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
43894389 - equational-reasoning
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
4392− - type-natural < 1 # https://github.com/commercialhaskell/stackage/issues/5829
4390+ - ghc-typelits-presburger
4391+ - singletons-presburger
4392+ - type-natural
43934393 - subcategories
43944394 - sized
43954395