coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.6 is out!

From: Ralf Jung <jung AT mpi-sws.org>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.6 is out!
Date: Tue, 20 Dec 2016 11:24:09 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jung AT mpi-sws.org; spf=Pass smtp.mailfrom=jung AT mpi-sws.org; spf=None smtp.helo=postmaster AT hera.mpi-klsb.mpg.de
Ironport-phdr: 9a23:Yo8nLhzR+E7oiH3XCy+O+j09IxM/srCxBDY+r6Qd0uwSIJqq85mqBkHD//Il1AaPBtSAra0VwLON++C4ACpbvsbH6ChDOLV3FDY7yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9dazJHdvZiN3y3OSv8bXSZR9JjXyze+BcNhKz+D/Yssdeo5ZkJe5lyAbPrVNNY+UT3nxzY1WJkECvtY+L4Jd//nEI6Loa/MlaXPCicg==

Hi,

> It is, however it sadly lacks CoqIde and SSreflect:
>
> /The following actions will be performed:/
> / ⊘ remove coqide 8.5.3 [conflicts with coq]/
> / ⊘ remove coq-mathcomp-ssreflect 1.6 [conflicts with coq]/
> / ↗ upgrade coq 8.5.3 to 8.6/
> /===== ↗ 1 ⊘ 2 =====/
> /Do you want to continue ? [Y/n] n/

Not sure about coqide, but for ssreflect, I am using the "dev" version
from <https://github.com/coq/opam-coq-archive>.

Kind regards,
Ralf

[Coq-Club] Coq 8.6 is out!, Maxime Dénès, 12/16/2016
- Re: [Coq-Club] Coq 8.6 is out!, Ralf Jung, 12/16/2016
  - Re: [Coq-Club] Coq 8.6 is out!, Jeehoon Kang, 12/20/2016
    - Re: [Coq-Club] Coq 8.6 is out!, Benoît Viguier, 12/20/2016
      - Re: [Coq-Club] Coq 8.6 is out!, Ralf Jung, 12/20/2016
        
        Re: [Coq-Club] Coq 8.6 is out!, immanuel litzroth, 12/20/2016
        
        Re: [Coq-Club] Coq 8.6 is out!, Enrico Tassi, 12/21/2016
  - Re: [Coq-Club] Coq 8.6 is out!, Maxime Dénès, 12/20/2016
    - Re: [Coq-Club] Coq 8.6 is out!, Benoît Viguier, 12/21/2016