coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Enrico Tassi <enrico.tassi AT inria.fr>
- To: ssreflect AT msr-inria.inria.fr, coq-club AT inria.fr
- Subject: [Coq-Club] [ANN] Ssreflect/MathComp 1.6.1 released
- Date: Wed, 21 Dec 2016 16:19:16 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=enrico.tassi AT inria.fr; spf=None smtp.mailfrom=gares AT fettunta.org; spf=None smtp.helo=postmaster AT fettunta.org
- Ironport-phdr: 9a23:WedMjRcFIyOx3MBU4/hLsM3FlGMj4u6mDksu8pMizoh2WeGdxc66Zh7h7PlgxGXEQZ/co6odzbGH6OawAydeud7B6ClEK8McEUddyI0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7MhdpdKyuQtaBx5f/6+fn4IbJbgtMiTGhSbZpNlC3qx/Qv48Xh5FjI+A/0F+BqXxRPu9S2GlAJFSJnh+66N3j0oRk9nF9vegg/MkIbazhZKVwGbFeFjUtNCYp7dbwtDHCSxGO7z0SSDNFwVJzHwHZ4USiDd/KuSzgu78l1Q==
We are proud to announce the immediate availability of the
Ssreflect proof language and the Mathematical Components library
version 1.6.1 for Coq 8.4pl6, 8.5pl3 and 8.6.0.
This minor release adds compatibility with Coq 8.6 and
fixes a few bugs of the proof language related to type classes,
universe polymorphism and primitive projections. Theory files
did not change.
A detailed ChangeLog is available at:
https://github.com/math-comp/math-comp/blob/release/1.6/ChangeLog
The source archive and OPAM packages are available at the time of
writing. Windows packages will follow. Download at:
http://math-comp.github.io/math-comp/
Best regards,
--
The Mathematical Components team
- [Coq-Club] [ANN] Ssreflect/MathComp 1.6.1 released, Enrico Tassi, 12/21/2016
- Re: [Coq-Club] [ANN] Ssreflect/MathComp 1.6.1 released, Ilya Sergey, 12/21/2016
Archive powered by MHonArc 2.6.18.