fix(released): coq-mathcomp {1.18.0, 2.1.0} don't build anymore with coq.dev - #2820

Merged

palmskog merged 1 commit into

rocq-prover:masterfrom

erikmd:adapt-coq-pr-17576

Nov 6, 2023

Commits on Nov 4, 2023

fix(released): coq-mathcomp {1.18.0, 2.1.0} don't build anymore with coq.dev
erikmd
committed
a784a85