disable grisette temporarily (lsrcz/grisette#289)

This commit is contained in:
Jens Petersen 2025-02-23 18:20:54 +08:00
parent 402599255c
commit ea7acb4c09

View File

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