coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Théo Zimmermann <theo.zimmi AT gmail.com>
- To: "Perry E. Metzger" <perry AT piermont.com>
- Cc: coq-club AT inria.fr, coqdev AT inria.fr
- Subject: Re: [Coq-Club] Coq 8.8.2 is out!
- Date: Thu, 4 Oct 2018 21:08:56 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua1-f53.google.com
- Ironport-phdr: 9a23:05GSux2LOc5LOorbsmDT+DRfVm0co7zxezQtwd8ZseIUKfad9pjvdHbS+e9qxAeQG9mDtLQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okCYHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWVOXshTWCJBDI2ybJYBAfQdMutDtYbxu0EDoAGiCQWwBu7izCJDiH/s3a091uQsCR/I3Aw6GNIJqHvbr9T1NKIXUe+r1qnIyC/Mb/VQ2Tzg74XIbhAhru+LXb5qcMvRyEwvFwbEjliLpozlOima1uUJs2SB8+VgUuevhnchpgpsoTav3t8hhpfVio8R0FzJ9iV0zJwrKdGmVkJ3e96pHZVWuiqHLYV5WNkiTHttuCsiyr0Jp5q7fC8SxZQi3RHfaviHf5GV4h35SeqdODl4iXJrdb6liBay9k+gyuL4VsaqylpFsi1FktzUunAM0Rzc9NSHR+Nj8ku93TuDzQPe5+FeLUwqi6bXNYQtz74+m5YLtETMBC72mEH4jK+McUUk//Cl6/jnYrr4oZ+QLY51igD7MqQrm8yyGus4Mg0UUGia/eSwzqHs/Ur8QLlSlP05jrHZsIzGJcQcvqO2HwhV0p865xmjCzemzc8XkGIcLFNFfRKHl5LmN0vPIPD+F/e/gk6jnC1lx/DcJrfhGInCLmDfkLf9erZw81JTyA0qzd9C+Z1UFKoMIOnzW0/0rNzXFAU1Mw2yw+b9CdVyzJkSWWyVAvzRDKSH+2eF/Pg+a8TKLKoYpCTyJuJvr6r2gGUjiHcFfKSz2JwRdDazGfEwcGuDZn+5vteAFlA4vw87QfbvgVuEGWpPZ3u1GbA94zQ6II2jBIbHAIuqherSj2+AApRKazUeWRi3GnDyetDBAq9UMXPAEopaijUBEIOZZcok3BCquhX9zuM+fOXR8ywc85nk0YosvrGBpVQJ7TVxSv+l/SSVVWgtxzEHQjY32OZ0pkkvkg7eg5g9uORREJlo390MUgo+MsSBnelzCtS3RwuYO9nUExCpRdKpBTx3RdU0kYcD
FYI, the signed Windows packages are now available on the release page, and the OPAM package is now ready (for OPAM 2.0 users) thanks to Heiko Becker.
Théo
Le lun. 1 oct. 2018 à 13:02, Perry E. Metzger <perry AT piermont.com> a écrit :
On Wed, 26 Sep 2018 17:22:02 +0200 Théo Zimmermann
<theo.zimmi AT gmail.com> wrote:
> Dear Coq users,
>
> We are pleased to announce the 8.8.2 release of Coq.
FYI, the update to the MacPorts Coq package is now in, so MacPorts
users should be able to update with minimum fuss later today.
Perry
--
Perry E. Metzger perry AT piermont.com
- Re: [Coq-Club] Coq 8.8.2 is out!, Perry E. Metzger, 10/01/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/04/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/04/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/05/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/05/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Emilio Jesús Gallego Arias, 10/05/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/21/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/21/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Vadim Zaliva, 10/24/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/24/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/29/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/21/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Emilio Jesús Gallego Arias, 10/05/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/05/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/05/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/04/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Emilio Jesús Gallego Arias, 10/05/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/04/2018
Archive powered by MHonArc 2.6.18.