coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.7.1 is out

From: "Perry E. Metzger" <perry AT piermont.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.7.1 is out
Date: Sat, 16 Dec 2017 20:40:16 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=perry AT piermont.com; spf=Pass smtp.mailfrom=perry AT piermont.com; spf=None smtp.helo=postmaster AT hacklheber.piermont.com
Ironport-phdr: 9a23:nSPGLx9cmI9Duv9uRHKM819IXTAuvvDOBiVQ1KB41uscTK2v8tzYMVDF4r011RmVBdyds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+54Dfbx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRhHohikZKjA382PYisJ/g61HrxysvAB/w5fObY2JKPZyYqHQcNUHTmRBRMZRUClBD5uyY4UVEeUBJ/xYrongrFUBtxe1GA6iC/3zyj5JiX/5w7c63+o8GgzBxAwvAcgOsG7UrdjuLKcSUP66zLPNzTXEafNWxS3x55TPchAkuPyBW697f8TWyUkqDQzFj1OQpJTkPzOTzOQNsnKU4/BuVeK1k2InpABxoiSvxscxkYbFnJ4aylfB9Sh/3Y07JsW4RVZmbdOlEZZcrSKXOoRsTs4gWW1kpSk3x7sbspChZicK0o4oxxvHZvyHbYeI5hXjWf6RIThimH1le7a/hxas/ke71OL8TNO40E5LriVbiNnMs3cN1xrP6sSdVvR9+UKh1S6O1wDV9O5EPVg5mbfaJpMg2LI9lZUevV7BEyPshUn7g7eadkA+9eip7+TnbK/mppiZN4JskgHxLL4umta/AOkjKggOXnaU+f651L3k+035XK9GgeExkqncqJzaP9gUpralAw9J1YYu8wqwDzC/0NgBgXYHKE9FdwmcgojyO1DOJej4Au2lj1Stljdr3fHGMaf7DpXDNHiQ2IvmKL168gtXzBc55dFZ/ZNdTL8bc9zpXUqk/uTVFAUoeyHyi8PqFMdy25lUETaXD7WDIYvKsFKS4+UpP6+HY4pD62W1EOQs+/O71SxxolQaZ6T8hZY=

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
--
Perry E. Metzger
perry AT piermont.com

[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