CoqEAL release 2.0.3

Compatible with Coq 8.16 to 8.20, mathcomp 2.1.0 to 2.3.0, multinomials 2.3.0 and mathcomp-real-closed 2.0.2.

CoqEAL release 2.0.2

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.

CoqEAL 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.

CoqEAL release 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.

CoqEAL release 1.1.3

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

CoqEAL release 1.1.2

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.

CoqEAL release 1.1.1

Compatible with Coq 8.13 to 8.16 and mathcomp 1.13.0 to 1.15.0

CoqEAL release 1.1.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

CoqEAL release 1.0.6

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

CoqEAL release 1.0.5

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