Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq 8.5pl3

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.5pl3


Chronological Thread 
  • 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
>>>
>>



Archive powered by MHonArc 2.6.18.

Top of Page