Upper bound `{ghc-typelits,singletons}-presburger` (#5829)
commit9e31ca84bcf6cc0ed9ec2fc9306376df7985d621
authorMihai Maruseac <mihai.maruseac@gmail.com>
dateSun 17 Jan 2021, 08:05 (6 years ago)
parentfb8c0f6
build-constraints.yaml+2−2
@@ -4387,8 +4387,8 @@ packages:
43874387
43884388 "Hiromi Ishii <konn.jinro@gmail.com> @konn":
43894389 - equational-reasoning
4390− - ghc-typelits-presburger
4391− - singletons-presburger
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
43924392 - type-natural
43934393 - subcategories
43944394 - sized