coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Vadim Zaliva <vzaliva AT cmu.edu>
To: coq-club AT inria.fr
Cc: christian.doczkal AT ens-lyon.fr
Subject: Re: [Coq-Club] Coq 8.8.2 is out!
Date: Tue, 23 Oct 2018 18:01:18 -0700
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vzaliva AT cmu.edu; spf=Pass smtp.mailfrom=vadim.zaliva AT west.cmu.edu; spf=None smtp.helo=postmaster AT mail-pf1-f171.google.com
Ironport-phdr: 9a23:wF82eR2N78/qSELrsmDT+DRfVm0co7zxezQtwd8Zse0VKPad9pjvdHbS+e9qxAeQG9mDtLQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLnhykHODw5/m/ZicJ+kbxVrw66qhNl34LZepuYOOZicq7fe94RWGpPXtxWVyxEGo6zYJEAAPcAPeZdsoLypEEBrR+/BQmyHuzk1zhFhmH33KIg1+QhEB/G0xY7Et0StXTUsc/5O7kPXuCo1aTFyyjIYf1R2Tf48ofIcxYhrOmDXbJxbcrRyVQvGBjfglqMrozlOjWY3fkOvWiD9+dsS/6jhmo9pwxyojWj3NkghpTVio4P11zJ9zh1zYAoLtOiUkF7e8SrEJ5IuiGaKYR2RsQiTnltuCkgy70GvYe3fDAEyJg63hLfZeGLfoqV7h75W+aRJjB4hH1heL2hnRq97U+gyujkWsm11lZFsDZFn8HSunwR0xHf8MuKR/tn8ku/xDqDyxrf5vxGLEwpjabbLoQuwr80lpodq0TDGSr2lV3ojKCMa0ok++2o5/7mY7r8op+cNpF0hRvlP6UghMO/Gvg4PhISUGie5OSwzqPs8lDkQLlSlP05jrHZsIzGJcQcvqO2HwhV0p865xmjCzemzc8XkGIcLFNFfRKHl5LmN0vPIPD+F/e/gk6jnC1lx/DcbfXdBcDGKWGGm7P8d5587VRdwUw914Nx/ZVRX48ILPP2En34sN3GB1dtLR69x+f5Af12055YVG6SVPzKeJjOuEOFs7p8a9KHY5UY7W6keqoVosX2hHp8omczOKyg3J8Zcne9R6g0PEiCfTznh8pHHGsX7FNnEL7azWaaWDsWXE6cGrom72BpA4e7S4rPW9L12eHT7GKABpRTI1t+JBWMHHPvLdvWXv4NbGeKLJYknGVbDP6uTIgu0Rzovwj/meJq

What about Coq itself? My opam-1.2 has Coq-8.8.1 as the latest version, while opam2 has 8.8.2.

CMU ECE Ph.D. candidate

Mobile/Signal/WhatsApp: +1(510)220-1060

On Sun, Oct 21, 2018 at 9:33 AM Théo Zimmermann <theo.zimmi AT gmail.com> wrote:

Hello all,

For the record, the discussion prompted by Christian was continued here https://github.com/coq/opam-coq-archive/issues/257 and Coq developers are in agreement that the Coq OPAM repository could be used to continue distributing Coq packages that are compatible with OPAM 1.2 (and move only the "dev" packages to OPAM 2.0). However, no action has been taken since then for lack of motivated manpower mostly. So if a user wants to take care of adding Coq stable packages to the released section of https://github.com/coq/opam-coq-archive, they are most welcome!

Théo

Le ven. 5 oct. 2018 à 12:03, Emilio Jesús Gallego Arias <e AT x80.org> a écrit :
Christian Doczkal <christian.doczkal AT ens-lyon.fr> writes:

> However, unless the OPAM developers/maintainers change their stance
> regarding the repository for 1.2 users, this will require the Coq
> developers to also provide packages for dependencies not to be found in
> the 1.2 repository (I'm thinking of things like camlp5 here). This will
> create a bit of extra effort.

AFAICT the main 1.2 repository should contain dependencies good up to Coq 8.10.

E.

Re: [Coq-Club] Coq 8.8.2 is out!, Perry E. Metzger, 10/01/2018
- 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