coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.7.0 is out!
Date: Wed, 18 Oct 2017 11:00:07 +0200
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 4.mo177.mail-out.ovh.net
Ironport-phdr: 9a23:RH7QOhOwC/UoK11Ommcl6mtUPXoX/o7sNwtQ0KIMzox0K/n+rarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6a8TWO6msZHQy6Pg5oLMz0HJTThoK5zbOc4ZrWNiBBlDu4bPterRM2tk2Fs8AXhaNnI7YwzxbFr31FYKJY3zU7dhqogx/g65Lor9ZY+CNKtqd5+g==

The PR is waiting for integration:
https://github.com/ocaml/opam-repository/pull/10493

Maxime.

On 10/18/2017 10:59 AM, Laurent Thery wrote:
>
> On 10/18/2017 12:16 AM, Maxime Dénès wrote:
>> Dear Coq clubbers,
>>
>> The Coq development team is pleased to announce the release of Coq
>> 8.7.0, available at:
>
> Great! Is there an opam package?
>
> --
> Laurent
>

[Coq-Club] Coq 8.7.0 is out!, Maxime Dénès, 10/18/2017
- Re: [Coq-Club] Coq 8.7.0 is out!, Laurent Thery, 10/18/2017
  - Re: [Coq-Club] Coq 8.7.0 is out!, Maxime Dénès, 10/18/2017
- Re: [Coq-Club] Coq 8.7.0 is out!, Ralf Jung, 10/18/2017