Merge pull request #7734 from lsrcz/patch-1

Re-enable grisette
This commit is contained in:
Alexey Zabelin 2025-04-20 05:14:08 -07:00 committed by GitHub
commit 6270638f34
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