Release with support with more recent Coq and mathcomp

math-comp / Abel

A proof of Abel-Ruffini theorem.

28 stars 8 forks source link

Open SnarkBoojum opened 8 months ago

SnarkBoojum commented 8 months ago

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 commented 8 months ago

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