Coqeal Versions Save

Compatible with Coq 8.16 to 8.19, mathcomp 2.0.0 to 2.2.0, multinomials 2.2.0 and mathcomp-real-closed 2.0.0. This is just removing a few spurious universe constraints from previous release 2.0.1.

Compatible with Coq 8.16 to 8.19, mathcomp 2.0.0 to 2.2.0, multinomials 2.2.0 and mathcomp-real-closed 2.0.0.

Compatible with Coq 8.16 to 8.18, mathcomp 2.0.0, multinomials 2.0.0 and mathcomp-real-closed 2.0.0.

Compatible with Coq 8.15 to 8.17, mathcomp 1.15.0 to 1.17.0 and multinomials 1.6.0

Compatible with Coq 8.15 to 8.17 and mathcomp 1.13.0 to 1.16.0

All #[global] typeclass instances have been made #[export] so you may have to add a few missing module Import.

Compatible with Coq 8.13 to 8.16 and mathcomp 1.13.0 to 1.15.0

Compatible with Coq 8.10, 8.11, 8.12, 8.13 and 8.14 and mathcomp 1.12.0 and 1.13.0, requires multinomials 1.5.4