coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: immanuel litzroth <ilitzroth AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Coq 8.6 is out!
Date: Tue, 20 Dec 2016 12:14:35 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ilitzroth AT gmail.com; spf=Pass smtp.mailfrom=ilitzroth AT gmail.com; spf=None smtp.helo=postmaster AT mail-io0-f178.google.com
Ironport-phdr: 9a23:OiOGpBIKpfAIWmVhDtmcpTZWNBhigK39O0sv0rFitYgeKvrxwZ3uMQTl6Ol3ixeRBMOAuqkC1Lud6fqocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbQhFgDSwbalwIRiyogndqNcaipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2UxLjljsJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ3dKUMRMWCxbGo6zbYUPAeoPM+hbsofzuUcBoACkCgWwHu7i0CNEimP00KA8zu8vERvG3AslH98WsXTUqdD1O70UUeCo0qbIySjIb/dX2Tfh6YnIaBchoe2MXbltdsfRyE0vFwLZjlSRs4zlOC+V1uQWvmiU6upvT+Ovi2o9pw5tpTivw94hh4/UjYwbzVDE8D92wIczJdCgR057YMKkEJtNty6BLYd5XsQiQ2RutS0nybMGoYa2cDYWxJkj3RLSaPyKf5KW7h79WuudOyp0iXBmdb+5mh2861KvyvfmWcmxyFtKrjRKkt3Ltn0V0hzc8MmHSv9k8keg3jaDyxnf6u9ZLU02lqfXMZEhwrk3lpoctUTMADX6l1nxjK+Tbkkk++6o5Pr7Yrj+uJOQK4t5hhv9P6kugMCzH/o0PwYUU2SG++mx16Xv/UjjT7VLiv02nLPZsJffJckDp665Bw5V0poi6halCDemzNQYkGIILFJAYh2HjozpN0vSL/D/CPezm06snytzx/DaIr3hBY3AIWTEkLf4ZLpy90pcyBcowt1E/JJVCrQBIOrpVUPrtdzYCAU5Mw2uzOr9BtV9zNBWZWXaKaiAeIjWrFXAsukoOqyHYJIfkDf7MfksofD02ywXg1gYKKis2JIRdX28VvBnP1eDZmbsyoMAFWYWrBA5UOzCh1iLUDoVbHG3CfFvrgonAZ6rWN+QDrumh6aMiWLiRsVb

You should be able to use 2 opam switches one where you

install the 8.5.3 and one with the 8.6

opam switch install coq-8.5 --alias-of <some compiler version>

and

opam switch install coq-8.6 --alias-of <some compiler version>

switch between 8.5 and 8.6 environments is just an opam switch

away then.

Immanuel

On Tue, Dec 20, 2016 at 11:24 AM, Ralf Jung <jung AT mpi-sws.org> wrote:

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