coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.7.2 is out

From: Benoît Viguier <beviguier AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.7.2 is out
Date: Tue, 20 Feb 2018 21:43:15 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=beviguier AT gmail.com; spf=Pass smtp.mailfrom=beviguier AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr0-f169.google.com
Ironport-phdr: 9a23:/wFE8BaRTqvGr9WZ7naiDz7/LSx+4OfEezUN459isYplN5qZoMW8bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjAk7m/XhMx+gqFVrh2vqBNwwZLbbo6OOfpifa7QZ88WSXZPU8tTUSFKH4Oyb5EID+oEJetVspfyp10JrQOwGQmjHOzgyj5Hhn/r3K01zf4hGhzB0QM7Ad0OrnXUrNroNKcTT++11rLFzTrGb/xM2Df97JLEfQwmofGJRL99d9fax0coFwPAlFqQqIrlMiuL1uQMvGib8utgWvy1i2I9rQFxpiCjxsgtionVhoIV10vL+T9lz4YyIN21TlNwb928EJZIqS2WK497TtkhTmxooio216MKtJ2hcCQXyZkqwwbTZ+GIfoWI+B7vSfudLDZiiH54dr+yhwy+/VW9xuD9UMS/zUxEoTBfktbWs3AAzxzT5daDSvt65kqh3CyA1wHX6u1dL0E0j7bXJ4cvwrItl5cetV7PHiDxmEXxg6+Wclsr9vK05OTgZ7Xqvp6cN4lqhQHiKqkihNCzDOAiPgUNX2WX4/mw2KPg8EHjXblHj/k7nrHcsJ/AJMQboqC5AxVS0oYm8xuwFCmp0MoZnXkIMVJFeQyIj5LyNlHBJfD3F/a/g1C2nDh3wPDGO6XtAo/RIXjbjLfhYbF95lZAxwo01NBT/o5bCrUcIP3oQULxr9zZDhohMwOu2ernCdN91pkfWW2VGKOZPrnS4he04bckJPDJb4sIsh78LeIk7rjglywXg1gYKIOk25yRdEeGH/t7IkiDKS7mj8kAHnoLsxAWQ+njiVnEWjlWMSXhF5kg7y02Xdr1RbzIQZqg1eTYjXWLW6ZOb2UDMWiiVHLhdoGKQfAJMXvALcpokzhCXr+kGdZ4iUOe8TTiwr8iFdL6vzUCvMu6htdw7uzX0xo18G4sVpnP4yS2V2hx21gwaXo20aR4+xIvz16C1e1nmaQdG4UNtrVGVQA1MZOaxOt/WYj/

Hi all,

I may be wrong but it appears to me that CoqIde has not been updated to 8.7.2 on opam.

On 02/18/2018 05:31 PM, Perry E. Metzger wrote:

On Sat, 17 Feb 2018 09:35:49 +0100 Théo Zimmermann
<theo.zimmi AT gmail.com>
wrote:

Source, Windows and Mac OS packages are available at:

https://github.com/coq/coq/releases/tag/V8.7.2

OPAM and Nix packages have also already been updated (the update to
the Nix package is in nixpkgs master and should soon find its way
into nixpkgs-unstable).

I've updated the MacPorts Coq package. The update and binary packages
should make their way out in the coming hours.

Perry

--
Kind regards,

Benoît Viguier
Software Engineer - PhD Student | Cryptography & Formal Methods
Radboud University | Mercator 1, room 03.17, Toernooiveld 212
6525 EC Nijmegen, the Netherlands | www.viguier.nl

[Coq-Club] Coq 8.7.2 is out, Théo Zimmermann, 02/17/2018
- Re: [Coq-Club] Coq 8.7.2 is out, Perry E. Metzger, 02/18/2018
  - Re: [Coq-Club] Coq 8.7.2 is out, Benoît Viguier, 02/20/2018
    - Re: [Coq-Club] Coq 8.7.2 is out, Maxime Dénès, 02/20/2018