coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.7.1 is out

From: Ralf Jung <jung AT mpi-sws.org>
To: coq-club AT inria.fr, "Perry E. Metzger" <perry AT piermont.com>
Subject: Re: [Coq-Club] Coq 8.7.1 is out
Date: Sun, 17 Dec 2017 16:18:54 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jung AT mpi-sws.org; spf=Pass smtp.mailfrom=jung AT mpi-sws.org; spf=None smtp.helo=postmaster AT jupiter.mpi-klsb.mpg.de
Ironport-phdr: 9a23:bo4CJh9qN00LdP9uRHKM819IXTAuvvDOBiVQ1KB30OocTK2v8tzYMVDF4r011RmVBdyds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+54Dfbx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiCgZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsHS2RfUMZfVy9PDI2yYIQADeUOIelWopLhp1YNtxayGRWgCe3txzJOm3T43bc60+MkEQzewAIvBdYOsHrJp9vxKacSV++1x7TPwDXBcvNW3zj95ZPNchA5oPGARKlwcMTKyUU1EAPFlFqQpJXjMjiI2OoNtG2b4PBhVeKpk2MnqgdxoiKuxsg2kIXJiJgVxkjL9SV43IY1JcC4R1VhbdG4F5tQsieXPJZ1TMM6W2xkpSg3x7kctZKmeCUG0pcqyh/FZ/Cac4WE+gzvWPuTLDtih39pZqiziwuu/UWg0OHwS9W43VBXpSRfiNbMrGoC1xnL58iHVPR9+kCh1C6N1wDO8uFEIFw0mrTBK5I7x74wjpsTvV3AHi/yg0X5l7WadkA8+uin8ejof6vpqoedN49ylA7+LrwjltGxDOk8KAQCQmyW9f6/2bDi50H1XbVHguUzkqbDsZDaIcobprS+Aw9Qyosj6Qu/DzGp0NkDmHkHNFNFdAucj4nnIFHCOvf4De2wg1i0ijdk2+jGPqH9ApXKNnXMjLDhfa9k50FAzAoz0MtQ6olPCrABJfLzQlX+uMbZDh8/KQy0wvzoBM9z1oMECiqzBfqSN7qXuluV7MouJfONbckbonK1YcAo/eT/xVJ/0XoQYbum0IFdICSgE+58Mm2BYHf2h9AHDSEBuQ9oH8Lwj1jXazdXaT6QQqQzrmU5FYSpJYLbR8W2n6fH2z20SM4FLltaA0yBRC+7P76PXO0BPWfLepds

The Coq+CoqIDE 8.7.1 opam packages have been accepted and should appear
in the repository shortly.

Kind regards,
Ralf

On 17.12.2017 02:40, Perry E. Metzger wrote:
> On Sat, 16 Dec 2017 01:35:37 +0100 Théo Zimmermann
> <theo.zimmi AT gmail.com>
> wrote:
>> Dear Coq clubbers,
>>
>> The Coq development team is pleased to announce the release of Coq
>> 8.7.1:
>>
>> https://coq.inria.fr/coq-87
>>
>> Source, Windows and Mac OS packages are available at:
>>
>> https://github.com/coq/coq/releases/tag/V8.7.1
>
> For those on macOS that like building from sources using MacPorts,
> I have updated that to 8.7.1 as well.
>
> Perry
>

[Coq-Club] Coq 8.7.1 is out, Théo Zimmermann, 12/16/2017
- Re: [Coq-Club] Coq 8.7.1 is out, Perry E. Metzger, 12/17/2017
  - Re: [Coq-Club] Coq 8.7.1 is out, Ralf Jung, 12/17/2017
    - Re: [Coq-Club] Coq 8.7.1 is out, Théo Zimmermann, 12/17/2017