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, 3 Nov 2016 14:37:25 +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 4.mo177.mail-out.ovh.net
Ironport-phdr: 9a23:UWE+oRSVEaBdfN+f9DmHvvskTtpsv+yvbD5Q0YIujvd0So/mwa67YxSN2/xhgRfzUJnB7Loc0qyN4vqmCTNLusnJ8ChbNscTB1ld0YRetjdjKfDGIHWzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1oOra9QdaK3Izkn9y1rpbUekBDgCe3SbJ0NhS/6wvL5ecMho43D68hyx7E6lfJfWRNjTdtLFOXtxP19sa18ZJu9SlL/fw7oZ0TGZ7mdrg1GOQLRA8tNHo4sZXm

Hi,

You can monitor it at:

https://github.com/ocaml/opam-repository/pull/7732

Best,

Maxime.

On 11/02/16 19:57, Vadim Zaliva wrote:
>
> On Thu, Oct 27, 2016 at 10:00 AM, Maxime Dénès
> <mail AT maximedenes.fr
> <mailto:mail AT maximedenes.fr>>
> wrote:
>
> I submitted a PR to the OPAM repository, the packages should be
> available soon.
>
>
> If there is a ticket for this we can monitor? I am eager to try new Coq
> version but I would rather wait as I like to use OPAM to manage multiple
> version along with dependencies. Also,
> Coq-Bench https://coq-bench.github.io/ relies on OPAM and I curious to
> see compatibility chart.
>
> Vadim
>
> --
> CMU ECE PhD candidate
> Mobile: +1(510)220-1060
>

Re: [Coq-Club] Coq 8.5pl3, Vadim Zaliva, 11/02/2016
- Re: [Coq-Club] Coq 8.5pl3, Maxime Dénès, 11/03/2016