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 18:22:43 +0200
Authentication-results: mail3-smtp-sop.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 9.mo173.mail-out.ovh.net
Ironport-phdr: 9a23:D3uyXh1JSXltROmMsmDT+DRfVm0co7zxezQtwd8ZsegUI/ad9pjvdHbS+e9qxAeQG96KsbQb0qGG6ejJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWvXNGLxJTtn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4r9Zf9HFbvOtk/MpdW437eb45RPpWFmcIKWcwsejipRjGQEOjZ32cSS1ClxNJByDA5QH7W5r9vy33raxzwn/JboXNUbkoVGH6vO9QQxjyhXJfOg==

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