finmap release 2.1.0

Compatible with Coq 8.16 to 8.19 and mathcomp 2.2.0.

finmap release 2.0.0

Compatible with Coq 8.16 to 8.17 and mathcomp 2.0.0.

finmap release 1.5.2

Compatible with Coq 8.13 to 8.15 and mathcomp 1.12.0 and 1.15.0.

finmap release 1.5.1

Compatible with Coq 8.10 to 8.14 and mathcomp 1.11.0 and 1.12.0.

finmap release 1.5.0

Compatible with 8.7 <= Coq < 8.12 and mathcomp 1.11.0+beta1
The file order.v has been removed since it has been incorporated in mathcomp since 1.11.0

finmap release 1.4.1

Gained compatibility with Coq 8.11.1
Lost compatibility with mathcomp 1.8.0 and anticipating compatibility with mathcomp 1.11.0

i.e. compatible with 8.7 <= Coq < 8.12 and 1.9.0 <= mathcomp < 1.12.0

finmap release 1.4.0

This release is solely an update of order.v and set.v in order to integrate the changes in math-comp/math-comp#270.
It is compatible with mathcomp 1.8.0, 1.9.0 and 1.10.0.

coq-mathcomp-finmap release 1.3.4

Compatible with both mathcomp 1.8.0 and 1.9.0.
This is a bugfix of release 1.3.3

coq-mathcomp-finmap release 1.3.3

Compatible with both mathcomp 1.8.0 and 1.9.0.
Order library has been updated using @pi8027 branch experiment/order of mathcomp.
All credits go to @pi8027 for this update.
This is a bugfix of release 1.3.1

coq-mathcomp-finmap release 1.3.1

Compatible with both mathcomp 1.8.0 and 1.9.0.
Order library has been updated using @pi8027 branch experiment/order of mathcomp.
All credits go to @pi8027 for this update.