Release with support with more recent Coq and mathcomp

[SnarkBoojum]

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

Thanks!

[CohenCyril]

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