coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Cyril <cyril.cohen AT inria.fr>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>, ssreflect <ssreflect AT msr-inria.inria.fr>
- Subject: [Coq-Club] MathComp 1.6.4 released
- Date: Tue, 7 Nov 2017 11:19:10 +0100
# MathComp 1.6.4 released
We are proud to announce the immediate availability of the
Ssreflect proof language and the Mathematical Components library
version 1.6.3 for Coq 8.5pl3, 8.6.1 and 8.7.0.
This minor release adds compatibility with Coq 8.7 and loses
compatilility with Coq 8.4.
Sources and Windows packages are available at:
https://github.com/math-comp/math-comp/releases
Best regards,
--
The Mathematical Components team
- [Coq-Club] MathComp 1.6.4 released, Cyril, 11/07/2017
Archive powered by MHonArc 2.6.18.