Lemma Overloading 8.12.0 maintenance release

Maintenance release with Coq 8.12 compatibility, featuring the following changes:

• Support for building with dune
• notation-incompatible-format warning suppression to build with Coq 8.12

Lemma Overloading 8.11.0 maintenance release

Maintenance release with Coq 8.11 compatibility, featuring the following changes:

• Drop support for Coq version below 8.10
• Add coqdocjs-generated documentation
• Fix undeclared-scope warnings (this requires Coq 8.10 or later)
• Fix duplicate-clear warnings
• Update .gitignore file to Coq 8.11

Lemma Overloading 8.10.0 maintenance release

Maintenance release with Coq 8.10 and MathComp 1.10 compatibility, featuring the following changes:

• remove some local aliases for MathComp lemmas
• update documentation

Lemma Overloading 8.9.0 maintenance release

Maintenance release after move to Coq-community, with Coq 8.9 compatibility, featuring the following changes:

• remove all admits
• compatibility with MathComp 1.7.0 and 1.8.0
• fix deprecation warnings