coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.5pl3

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.5pl3
Date: Thu, 27 Oct 2016 19:00:46 +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 7.mo173.mail-out.ovh.net
Ironport-phdr: 9a23:oRWHlRJUz8Lhmorn99mcpTZWNBhigK39O0sv0rFitYgXLf3xwZ3uMQTl6Ol3ixeRBMOAuqgC1LOd6vi6ESxYuNDa7yBEKMQNHzY+yuwo3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEtfre9ScbuiJG80Pn38JnOaS1JgiC8aPV8NkaYtwLU4+wfkYpnJ+4dSx1JuTMcfu1XwUttLEKSmhvw68G959ht6XID6Loa68dcXPCiLOwDRrtCAWF+Pg==

I submitted a PR to the OPAM repository, the packages should be
available soon.

Maxime.

On 10/27/16 18:22, Maxime Dénès wrote:
> Hi Frédéric,
>
> I'm on it :) But it seems the OPAM packages had a few issues I'm fixing
> at the same time.
>
> Maxime.
>
> On 10/27/16 18:14, Frédéric Blanqui wrote:
>> Hi Maxime. Is there any opam package?
>>
>>
>> Le 10/27/2016 à 03:41 PM, Maxime Dénès a écrit :
>>> Dear Coq Clubbers,
>>>
>>> The Coq development team is pleased to announce that Coq 8.5pl3 is
>>> available at:
>>>
>>> http://coq.inria.fr/download
>>>
>>> You may need to refresh the page if your browser has a previous
>>> version in cache.
>>>
>>> This release includes many bug fixes, see
>>> http://coq.inria.fr/distrib/V8.5pl3/CHANGES for more details.
>>>
>>> Thanks to all bug reporters and contributors!
>>>
>>> The Coq Development Team
>>>
>>

[Coq-Club] Coq 8.5pl3, Maxime Dénès, 10/27/2016
- Re: [Coq-Club] Coq 8.5pl3, zjhsdtc, 10/27/2016
- Re: [Coq-Club] Coq 8.5pl3, Frédéric Blanqui, 10/27/2016
  - Re: [Coq-Club] Coq 8.5pl3, Maxime Dénès, 10/27/2016
    - Re: [Coq-Club] Coq 8.5pl3, Maxime Dénès, 10/27/2016