coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.5pl3

From: Vadim Zaliva <vzaliva AT cmu.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.5pl3
Date: Wed, 2 Nov 2016 11:57:07 -0700
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vadim.zaliva AT west.cmu.edu; spf=Pass smtp.mailfrom=vadim.zaliva AT west.cmu.edu; spf=None smtp.helo=postmaster AT mail-wm0-f50.google.com
Ironport-phdr: 9a23:hQmLjx3qgo96RjZ6smDT+DRfVm0co7zxezQtwd8ZsegULfad9pjvdHbS+e9qxAeQG96KsbQU0KGP6v+ocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+kQMiC1I/ujr/60qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9YwuxhX7vkm7otLVbjwV6U+V71RSjo8YE4v48i+ixDPTA7H1HIYU3sf2k5WEQHB7Q/zdpz0r233uvcri3rSBtH/Ub1hAWfq1KxsUhK90Co=

On Thu, Oct 27, 2016 at 10:00 AM, Maxime Dénès <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