coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Laurent Thery <Laurent.Thery AT inria.fr>
- To: coq-club AT inria.fr, ssreflect AT msr-inria.inria.fr
- Subject: [Coq-Club] MathComp 2.2.0 and 1.19.0 released
- Date: Thu, 18 Jan 2024 11:09:17 +0100
- Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=None smtp.mailfrom=thery AT sophia.inria.fr; dmarc=fail (p=none dis=none) d=inria.fr
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/.
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 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,
--
The Mathematical Components team
- [Coq-Club] MathComp 2.2.0 and 1.19.0 released, Laurent Thery, 01/18/2024
Archive powered by MHonArc 2.6.19+.