ssreflect - [ssreflect] [ANN] Ssreflect/MathComp 1.6.1 released

Subject: Ssreflect Users Discussion List

List archive

[ssreflect] [ANN] Ssreflect/MathComp 1.6.1 released

From: Enrico Tassi <>
To: ,
Subject: [ssreflect] [ANN] Ssreflect/MathComp 1.6.1 released
Date: Wed, 21 Dec 2016 16:19:16 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=None ; spf=None
Ironport-phdr: 9a23:1wmLMxe1k0z7/edVz/z/2I0DlGMj4u6mDksu8pMizoh2WeGdxcuzZx7h7PlgxGXEQZ/co6odzbGH6OawAydeud6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCzbL52Ihi6twbcutcZjYZjNqo61wfErGZPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgzoBOjUk8m/Yl9ZwgbpVrhyhuRJx3o3ab46JO/VjcKzQZs8aSXZbU8pNSyBMGJ2wYo0SBOQBJ+ZYqIz9qkMBoxu4HwmsBf/gyjhVjXHox6I6yP8hEQDb1wEnAd0Otm7UrNTpO6cVS+y10LPHzS7Yb/NXwjr96Y7Icgogof6WR75wf9DRxFApGgjYgFuQronlMCmU1uQLq2Wb4OtgVf6vi246sA59uDmvxsA0honGh4IV1lDE9Thiz4ovOdK4T0t7bNi5G5VTryGXL497T8w4T212tis20LwLtJqhcCQX1pgqxQbTZ+GJfoWL+B7uUOecLS1miH55ZL6znRa//Emmx+bhTMe7ykxKoTBAktTUtnACyRjT6s+fR/tz4EihxSqP1x3V6uFYO084j63bK4QuwrIol5oTt1rMHjPulUjyg6KabFso9+ay5+nmZrjqvIKQO5F2hw3mN6QhgM2/AeA2MggUWGib/Pyx1LL58k3jXrpKleY7kqfHv5DGOcQbu6i5AxNP3Yo57Ba/FTim3MwCnXYbNFJFZA6Hj4/xNlHVO/D4F+mwg1qokDh12//GIqbsAo7NL3jGiLfuZ6xx609ayAopzNBQ/YhYCr8bIKG7Zkikr8fCAxE9Pgeo6+P8EpB80JkfUCSOBLWYOeXcqxvA7eU2ZuKIeYU9uTDnKvFj6eS9o2U+nAowe7Oo1pxfVHmjBfUud0ife3vnhZEdGHwRvyI/SvbrgRuMS2gAND6JQ6sg62RjW8qdBoDZS9X1jQ==

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

[ssreflect] [ANN] Ssreflect/MathComp 1.6.1 released, Enrico Tassi, 12/21/2016
- Re: [ssreflect] [Coq-Club] [ANN] Ssreflect/MathComp 1.6.1 released, Ilya Sergey, 12/21/2016
  - Re: [ssreflect] [Coq-Club] [ANN] Ssreflect/MathComp 1.6.1 released, Enrico Tassi, 12/21/2016
    - Re: [ssreflect] [Coq-Club] [ANN] Ssreflect/MathComp 1.6.1 released, Maxime Dénès, 12/21/2016

List archive

[ssreflect] [ANN] Ssreflect/MathComp 1.6.1 released