Re-enable grisette

grisette-0.11.0.0 was broken with sbv >= 11.1. grisette-0.12.0.0 fixed the issue.
This commit is contained in:
Sirui Lu 2025-04-12 22:21:37 -07:00 committed by GitHub
parent a53c3bc3ab
commit 7f29467e47
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -45,7 +45,7 @@ packages:
- mathlist
"Sirui Lu <lsrcz@outlook.com> @lsrcz":
- grisette < 0 # 0.11.0.0 broken by sbv-11.1 https://github.com/lsrcz/grisette/issues/289
- grisette
"Alexey Tochin <Alexey.Tochin@gmail.com> @alexeytochin":
- simple-expr