coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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éoLe 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!, Théo Zimmermann, 10/21/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!, Christian Doczkal, 10/05/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/04/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/04/2018
Archive powered by MHonArc 2.6.18.