Closed SkySkimmer closed 1 month ago
should stop it from being installed when coq = dev in the bench
@gares can you make sure there is such a bound in future coq-elpi releases?
Thanks!
Just opened a pr.
should stop it from being installed when coq = dev in the bench