Release with support with more recent Coq and mathcomp

Open SnarkBoojum opened this issue 2 years ago • 1 comments

I'm trying to upgrade the Coq packages in Debian using Coq 8.18 and MC2, and this is one of the blockers.

Thanks!

Dec 20 '23 10:12 SnarkBoojum

I will make a release asap, thanks for pointing this out.

Dec 22 '23 13:12 CohenCyril