coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "Perry E. Metzger" <perry AT piermont.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.8.0 is out!
Date: Thu, 26 Apr 2018 22:21:55 -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:vW4DTxz5PGUKyZHXCy+O+j09IxM/srCxBDY+r6Qd1O8XIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHmiCkJKSM3/mLVhcx+g61UvB2vqgdjw47NeoyZKOZycr/fcN4cWGFPXtxRVytEAo6kYYcBFfQOPfxCr4j9ulAAogGyDhSrCuzx1j9Jh3D20rMg0+gvDArL2xQgEMwUsHTOrNT4L78SUeGrw6nSyDXDaPVW2Svn5IfUdRAhpOiBULRtesTfzkkvEhnKjlSWqYH9PjOV0P4Ns2mB4OZ6W+KvkXYrqw5wojizxscsl5LGipgJxVDD8CV0xps+K96gSENjfNKpEZpduzuZOoZ5WM8vQXtktDs1x7AApJW1ZjIFyI49yB7ac/GHc5aH4hbkVOuJITd3nm5qeLG7hxay70ev0fPzVtOu3FZSrypKjMPMtnUK1xzV9siLUOdy/kCk2TqX1gDT7P9LIVwsmKbGKpMsw6Q8m5kcvEjZHCL6glj6gaCOekUh4Oeo6uDnYrv8pp+bMo95khn+Pbo0msylAeU1KRAOX2mF9uSm0b3j+kv5QKlQgvIqlanZtYjWJd4Hqa6hHw9VzoEj5g6jADehydQUhGUILFZYeB2clIXpIFHPIPXgDfilmViskTFrx+rHPrL7GJnNIGLDw//deuN27FcZww4ux/he4YhVA/cPOqHdQEj04ZbgAwUjIkSZha7CBclv2Y4EEyrbGqKDKrL6qV6F/OcoJfXKb4gQ7mWuY8M57uLj2Cdq0WQWerOkiMNOOSKIW89+KkDcWkLCx9IIEGMEpA07FbC4kFyPSztUYWr0VKU5tGhiVNCWSLzbT4Xou4SvmT+hF8QKNHhHB0qJFnH0MY6DXqVUMX/AEopaijUBEIOZZcoh2BWp7lKoy7NsLe7U9ycVr9T71dVv4urViVc58jkmV8k=

On Wed, 18 Apr 2018 16:03:16 +0200 Maxime Dénès
<mail AT maximedenes.fr>
wrote:
> Dear Coq clubbers,
>
> The Coq development team is pleased to announce the release of Coq
> 8.8.0, available at:
>
> https://coq.inria.fr/download
>
> Source, Windows and OS X packages are available at:
>
> https://github.com/coq/coq/releases/tag/V8.8.0
>
> Nix and OPAM packages are also available.

I had some slight delays, but the MacPorts package is now up and
working, or at least will be as soon as the change is pushed to the
various mirrors.

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

[Coq-Club] Coq 8.8.0 is out!, Maxime Dénès, 04/18/2018
- Re: [Coq-Club] Coq 8.8.0 is out!, Perry E. Metzger, 04/27/2018