Disable ghc-typelits-presburger, #5438

This commit is contained in:
Alexey Zabelin 2020-06-17 09:32:50 -07:00
parent 9a9a42ce66
commit 3ece5a7b09
No known key found for this signature in database
GPG Key ID: ACCAC0BCE271B847

View File

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