coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Emilio Jesús Gallego Arias <e AT x80.org>
To: Christian Doczkal <christian.doczkal AT ens-lyon.fr>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.8.2 is out!
Date: Fri, 05 Oct 2018 00:49:41 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
Ironport-phdr: 9a23:rzOXDx+K/E0W9v9uRHKM819IXTAuvvDOBiVQ1KB42u8cTK2v8tzYMVDF4r011RmVBdqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+55/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiCgZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsaS2RfQ8hRUCJBDI2+YIUMAeUOMvpXopLhp1cStxayGRWgCfntxzJOm3T43bc60+MkEQze0wIgGtMOsHDVrNXyLKgcVf66zLLS1TXYd/xY2C3y6IzMch8/rvGMWqp/fNbLyUkuDQzFlUibpIv7MD6O2eUAsHSX4/BnVeK1hG4qsgd8qSWhyMcrj4nGnIMVylbc+CV4xoY1P9y4R1Rhbd6qCptdsTyROYhuQs46Xm1luyU3xqcYtZKlfSUG0okryhzCZ/CdboSF7AzvWP6TLDp6nn5pZbyyiheo/UWjyODwTNS43EpUoidDj9LCrGoC1wbJ5ciCUvZ9/lmu2TKI1w3L5eBJIlw4mbDcK547zb48jpsTsULdES/qgEj6kaybe0Y+9uS29ejqY6/qqoKeOoNpkA3yL6ojltKnDeQ9KAcOXmyb+eqm1L3k+E30WKtFg+Y5k6TarJzWP8MbprS2AwNNyIYs9w6/Dyu60NQfhXQIMFVFeAueg4f1P1HOPev3AOykg1WslTdr3+rJMqfgApXLNHjDka3ucaxz605Gm0IPyoV054hVEa0AKfS7dkj6pt/RCldtOAyuwv37Cdx7kI8ZUnCMC6uxPaXJ9FuZ4eRpLfPaN6EPvzOoBv0k4//pul00gs0GSoag2Z8aZ3ePN+5nKl7RNXfEkodZV2AQsVxtH6TRlFSeXGsLND6JVKUm62R+Udr+VNaRdsWWmLWEmRyDMNhTb2FCBEqLFCa6Z9XcHfAWZ3DLe5Mzonk/TbGkDrQZ+1S2rgarmao3dqzT4CJK7cu+hugw3PXakFQJzRIxD8mZ1DDfXzEs2GQSSG1v0Q==
Organization: X80 Heavy Industries

Hi Christian,

Christian Doczkal
<christian.doczkal AT ens-lyon.fr>
writes:

> Will there be an OPAM package for OPAM 1.2.x users? As of now, OPAM
> 2.0 has yet to arrive in the Gentoo or Ubuntu repositories. Other
> distributions will likely also still ship 1.2.x.

I'm afraid the official OPAM repository doesn't allow to update the 1.2
branch anymore.

You can however use Coq's private one:
https://coq.inria.fr/opam/www/using.html

E.

Re: [Coq-Club] Coq 8.8.2 is out!, (continued)
- Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/04/2018
  - Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/04/2018
    - Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/05/2018
      - Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/05/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Emilio Jesús Gallego Arias, 10/05/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/21/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/21/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Vadim Zaliva, 10/24/2018
        Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/24/2018
        Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/29/2018
    - Re: [Coq-Club] Coq 8.8.2 is out!, Emilio Jesús Gallego Arias, 10/05/2018