MathComp 2.2.0 and 1.19.0 released

We are proud to announce the immediate availability of the Mathematical Components library versions 2.2.0 and 1.19.0.
The webpage, and documentation, are available at

This release is compatible with Coq 8.16 to 8.19
The main change is compatibility with Coq 8.19.
The contributors to this version are: Reynald Affeldt, Cyril Cohen, Pierre Pomeret-Coquot, Pierre Roux, Kazuhiko Sakaguchi, Julin Shaji, Laurent Théry
We also wish to thank all the reviewers of the various contributions.

See Release The Mathematical Components Library 2.2.0 · math-comp/math-comp · GitHub to download or see the

Packages for opam, nix, and docker are available.

Best regards,