coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.7.2 is out

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.7.2 is out
Date: Tue, 20 Feb 2018 21:47:32 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail AT maximedenes.fr; spf=Pass smtp.mailfrom=mail AT maximedenes.fr; spf=None smtp.helo=postmaster AT 1.mo173.mail-out.ovh.net
Ironport-phdr: 9a23:tUwtZx9A6NvBWf9uRHKM819IXTAuvvDOBiVQ1KB41ewcTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRgL2hicJNzA382/ZhcJ/g61ZvB2vqAdyw5LXbYyPKPZyYq3QcNEcSGFcXshRTStBAoakYoUIFeUAMudYr4zjqFAToxW5Hw+sA/r0yjRVgXL22Lc10+UlEQzd2QwvBd0PsHXRrNrrKagdT+a1w7fTzTnZYfNWwy7w5Y7VeR4vpvGMWKh/ccvXyUQ3GAPFj0mQqYz4PzyOzOgCr2+b7+9mWOmyiGAnsxl8riWty8ovkIXEiIwYxkrZ+Slk3Yo5P8C0RU1nbdK8FJZcqjuWO5Z3T88+WW1kpSI3x7wctZKmfSUHyZIqzAPFZfOdaYiH+BfjWf6RIThmgHJlf6qyiwuo/Uilze3wS8u53VhQoipAiNbMt3QN2wXU6siaVvtx5ECh2SiP1wzJ7OFLP1w0mbLaK54n3LEwioIevVnBEyL1gkn7gqGbel859uS19ujreKjqq5yAO4NsjwHxKKUumsixAeQiNQgOWnCW+eGm273i+U30W7BKgec5k6nYtZDVO9kUqbC/AwBLyYYv8Ri/Dy2+3NQCgXYHNE5FeA6Aj4XxJ17OJ+n4Ae6jjFSojTdk3OvLPqbhA5XINnjMiq3tfbd7605GyQo818pT55xOCuJJHPWmUUjo8dfcExURMgquwu+hBs8u+JkZXDeqC7+YNa6and6OZvlnd+yFZYs9vT/tKv0o6/PogGR/l0VLLvrh5ocedH3tRqcuGE6ee3e52o5QQ1dPhRI3SanRsHPHVDdSY3ioWKdluGM+AZKnCIrPS4agm/qPxnXiR8EEViV9ElmJVEzQWcCcQf5VNnCXK99glzEIWL6sUMkvz0P27VKo+/9cNuPRvxYgm9fj2dxyvbOBzFc38mUrVIKY2mCJCmZpgiUPWT9w2q1j8xRw

Hello,

A PR is open on the OPAM repository:
https://github.com/ocaml/opam-repository/pull/11444

Maxime.

On 02/20/2018 09:43 PM, Benoît Viguier wrote:
> 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
>

[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