haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-12 07:18:31 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Upper bound {ghc-typelits,singletons}-presburger (#5829)

Browse Source
This commit is contained in:
Mihai Maruseac 2021-01-17 08:05:38 -08:00
parent fb8c0f6ce7
commit 9e31ca84bc
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build-constraints.yaml
View File

@ -4387,8 +4387,8 @@ packages:
"Hiromi Ishii <konn.jinro@gmail.com> @konn":
- equational-reasoning
- ghc-typelits-presburger
- singletons-presburger
- 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
- subcategories
- sized