# MathComp 2.2.0 and 1.19.0 released

**URL:** <https://discourse.rocq-prover.org/t/mathcomp-2-2-0-and-1-19-0-released/2180>\
**Category:** Announcements\
**Created:** [January 18, 2024, 10:12am UTC](https://discourse.rocq-prover.org/t/mathcomp-2-2-0-and-1-19-0-released/2180 "2024-01-18T10:12:39Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Laurent\_Thery](https://avatars.discourse-cdn.com/v4/letter/l/67e7ee/32.png) [@Laurent\_Thery](https://discourse.rocq-prover.org/u/Laurent_Thery)\
**Post date:** [January 18, 2024, 10:12am UTC](https://discourse.rocq-prover.org/t/mathcomp-2-2-0-and-1-19-0-released/2180/1 "2024-01-18T10:12:39Z")

</div>

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 [https://math-comp.github.io/](https://math-comp.github.io/).

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](https://github.com/math-comp/math-comp/releases/tag/mathcomp-2.2.0) to download or see the CHANGELOG.md.

Packages for opam, nix, and docker are available.

Best regards,