Remove upper bound on sbv, close #7575

Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
This commit is contained in:
Mihai Maruseac 2024-11-09 12:59:22 -08:00
parent 6eb261dd5c
commit b7d84a0e85
No known key found for this signature in database

View File

@ -4129,7 +4129,7 @@ packages:
- gdp
"Levent Erkok <erkokl@gmail.com> @LeventErkok":
- sbv < 11 # https://github.com/commercialhaskell/stackage/issues/7575
- sbv
- crackNum
"János Tapolczai <janos.tapolczai@gmail.com> @jtapolczai":