coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.8.1 is out!

From: "Perry E. Metzger" <perry AT piermont.com>
To: Théo Zimmermann <theo.zimmi AT gmail.com>
Cc: coq-club AT inria.fr, Coqdev <coqdev AT inria.fr>
Subject: Re: [Coq-Club] Coq 8.8.1 is out!
Date: Tue, 17 Jul 2018 10:50:24 -0400
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:L+r0tB3l47s1S33NsmDT+DRfVm0co7zxezQtwd8Zse0RLvad9pjvdHbS+e9qxAeQG9mDtbQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYghEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmhicJOSAk/m/UiMNwgq1Urw6uqRFk347UeZuYOOZicq/Bf94XQ3dKUMZLVyxGB4Oxd4UDAfAfMuZCtYn8p0YFoxSkCQKxA+3g1CNIh3753aIkyeQtHxzN0Qs4H90QqnTUttX0ObwKUeC00qbI1zDDb/RQ2Tfh8oTHbhchofSVUL92bMHfylEvGhvYgliRqIHpJTCY2+sXv2WZ9eZsSO2ihmg6oA9ruDev3N0jiozRi4IV1F/E8SJ5zZ41JdKiVEF7YtqkEJtOuC6BKYR2WNkuQ3lpuCkk0L0GvJm7fC4WyJg92xHfbPmHf5CJ4hLlSumRPS91iG9kdb++nRq/8ketxvf+W8WuzVpHoTJJktzWuXAM0xzT5NKHSvx4/kq5wTaAyRrT6vtEIE0vjarbKoAuwqQ1lpoUt0TDAjX6l1nxjK+Tbkkk4PSn6/z7YrX6oZ+RL5N7igbnMqg3hsO/Bfk4PRMVUmiA+eW80aXj8lfjTLVLiP02iKjZv4rAKcQVvK6zGxVV3Zo76xajEzem18wVkmUALFJcZR2IkZbpNkrVIPH4CPe/m06jnC1qx/DAJL3hA4/CImLNkLf7Lv5B7BtgyIs0heJe4pdZELQIJvS7DlPxudueHB48Ng2czOPuCdE73YQbDzGhGKicZenqvEWS96oCZaGpaZMHtzvnYbBx//P0l24RgV4QZ6yu24dRY3e9SKc1a36FaGbh149SWVwBuRAzGbSz2Q+yFAVLbnP3ZJoSozQyCYaoF4DGH9z/mL2MxiK8GIEQbWdDWAnVTSXYMr6cUvJJUxq8Z9d7m2VYB6CgRpUk0hey8gT9zug/d7eGymgjrZvmkeNNyajTmBU1r2EmD82W0GWNQmt5hCUQRjIs2ad5vQp2zVLRiaU=

On Mon, 9 Jul 2018 22:31:53 +0100 Théo Zimmermann
<theo.zimmi AT gmail.com>
wrote:
> Dear Coq users,
>
> We are pleased to announce the 8.8.1 release of Coq.
[...]
> OPAM and Nix packages are also already available.

I've updated the MacPorts package, and it is now available.

Perry
--
Perry E. Metzger
perry AT piermont.com

[Coq-Club] Coq 8.8.1 is out!, Théo Zimmermann, 07/09/2018
- Re: [Coq-Club] Coq 8.8.1 is out!, Perry E. Metzger, 07/17/2018