coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

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!, Emilio Jesús Gallego Arias, 10/05/2018