Fixes #5829: drops uppber bounds of ghc-typelits-presburger, singletons-presburger and type-natural.

This commit is contained in:
Hiromi ISHII 2021-01-18 01:55:07 +09:00 committed by Mihai Maruseac
parent 91d510ef00
commit 98f58cb9f9

View File

@ -4387,9 +4387,9 @@ packages:
"Hiromi Ishii <konn.jinro@gmail.com> @konn":
- equational-reasoning
- ghc-typelits-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829
- singletons-presburger < 0.5 # https://github.com/commercialhaskell/stackage/issues/5829
- type-natural < 1 # https://github.com/commercialhaskell/stackage/issues/5829
- ghc-typelits-presburger
- singletons-presburger
- type-natural
- subcategories
- sized