Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq 8.8.2 is out!

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page