Multinomials 1.5.2

This release is compatible with Coq (>= 8.7, < 8.12) & mathcomp (>= 1.11, < 1.12).

It depends on released versions of finmap (>= 1.5, < 1.6) and bigenough (>= 1.0.0, < 1.1).

Multinomials 1.5.1

This release is compatible with Coq (>= 8.7, < 8.12) & mathcomp (= 1.11+beta1).

It depends on released versions of finmap (>= 1.5, < 1.6) and bigenough (>= 1.0.0, < 1.1).

Multivariate polynomials and monomial algebra version 1.5

This release is compatible with Coq (>= 8.7, < 8.11) & mathcomp (>= 1.8.0, < 1.11).

It depends on released versions of finmap (>= 1.4, < 1.5) and bigenough (>= 1.0.0, < 1.1).

Multivariate polynomials and monomial algebra version 1.4

This release is compatible with Coq (>= 8.7, < 8.11) & mathcomp (>= 1.8.0, < 1.10).

It depends on released versions of finmap (>= 1.3.4, < 1.4) and bigenough (>= 1.0.0, < 1.1).

Multivariate polynomials and monomial algebra version 1.3

This release is compatible with mathcomp 1.8.0 and 1.9.0 and Coq between 8.7 and 8.10+beta1 included.
In depends on released versions of finmap.1.2.1 and bigenough.1.0.0.

Multivariate polynomials and monomial algebra version 1.2

This release is compatible with mathcomp 1.8.0 and Coq between 8.7 and 8.9 included (and "dev" as of the day of release).
In depends on released versions of finmap.1.2.0 and bigenough.1.0.0.

multivariate polynomials and monomial algebra version 1.1

This release is compatible with mathcomp 1.7.0 and Coq >= 8.6.1, <= 8.8 (and "dev" as of the day of release).
In now depends on released versions of finmap.1.0.0 and bigenough.1.0.0.