Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • 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.



Archive powered by MHonArc 2.6.18.

Top of Page