coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Christian Doczkal <christian.doczkal AT ens-lyon.fr>
- To: Théo Zimmermann <theo.zimmi AT gmail.com>, coq-club AT inria.fr
- Subject: Re: [Coq-Club] Coq 8.8.2 is out!
- Date: Sun, 21 Oct 2018 19:55:41 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christian.doczkal AT ens-lyon.fr; spf=Pass smtp.mailfrom=christian.doczkal AT ens-lyon.fr; spf=None smtp.helo=postmaster AT labbe.ens-lyon.fr
- Autocrypt: addr=christian.doczkal AT ens-lyon.fr; prefer-encrypt=mutual; keydata= xsFNBFIuNbYBEADAiZlQsnkRrXHOkaZ2mZIVNxzcBha3+HhZ8IhtxF4t5QXRNWFLtdwBuE8u D0GMB/Lacm/LujwcI756cPM/7PhrUFAyn1IrYHYsK4/O5gBEgbSBRjD0X8mJ0V3oIm/PtjMC YiXBJwzOMNXOeWp+HcyCR0eh2sQD94gbF9SUOKDoamNB3DbLEHKjYPJ9O3zQw/Xai624OXB0 Wk5yIW77I1mGWhwbWxeHOJ/NmhHEU38YfbxXSzCLeMv98bNTej4oA+cPtMZ94AZOSy/oroMh rsr6wA9PL7NS+B1kRbgv6a5KL9latAI7zPeXcVsYw076rL850PLez/SXDuIr9mud4v8Zvcp9 65vTK4lTAD4C4vneNRGt4iwCOIgGsAN6BgqEgr7EwLX8dAX57OXPKZj0/0TdCbu+qsoSrQ3u +Ul6k374jFeIndqg/e9NiJbHjYAuug3cZZ6mH24SXWtTd4hGWi6f26tQQcRyGiduZkw5Wn26 g0UVgps7o2zHwlp9LJVjL3pCw7a9tKOfZaH+h7dV5JsA/Oq+7F3PhTbyNagi4A9igw+0qU+n Ws/nZDVMRiUv+1HY4PG8q6iEGSfHHjwW8InYS+Ah3stTddJ0sLc+0AGutx8ueTE2Ks14c4c8 aNW5y9bNFI/6/UQmOOwGmBeYC/kjZhjhsC3dTJ9uX4pXlMhpLQARAQABzShDaHJpc3RpYW4g RG9jemthbCA8Y2hyaXN0aWFuQGRvY3prYWwuZGU+wsGYBBMBAgBCAhsDBgsJCAcDAgYVCAIJ CgsEFgIDAQIeAQIXgAIZARYhBOo4ombxzcKdfZnmgo+wd0icZLmNBQJbl/90BQkLSv0+AAoJ EI+wd0icZLmN5mMP/29bOCdd3/NNWnAlqqYCK01deHyPf/7ozwprv9FyYB2Pt6fxCeoru5Gh LKYFYhldmWVQ/nvvk4eMUfXQKosjeqlr1OjKC3JcHhop8SnoAHI7YQ6JzsJnRSZH0oXhuRYb omhUrRC5UtIfbz1UedXDreHY3tblh5BT3301iOTrw7DASreMp17xpOAHIip2tEc9fUthWCaj 6gA4F4RXpvsbkC8eeQB3DZNNKQ4jsjSC3+NZYQ6n2a+bQkGo0OHlphASn/M2ckimUhTAbhMl qrTxD5fDaEaHoom1WUl945aogFh5Y984x6QH8BknBLs+hnmcDBksZJmGIy8LrEA0urcG+NJm IFV2qvp+6wHUBwXpj8LS8hByU16u0JvGcmrUlfUX+3PM8PsJqKIZXN8WTxHu/d/D4Fo8MX2Y QA4IZ/qdybtFqV2/Q2x7d+9fBVMsGyYqnjuz5dczvOKTLsNffDBUblmxJbuuSy4GUVUPk8jO nRJyGWfyFxdko87g/5K2IO8OK+7fzueBDrx6JAEEN+prRqTPAqSEPI/ku/ddUDAohxd5oDM9 tQbC8MwDtt2OsXY2Md8AhV7NVX2rQcFHIFdE73XNtCSDV7oEjvQToQL49Wsp+qtV5F65t0MS Rc8pTg6+LocDrGRVpQFsC+MpJTvOw89clFRFqUnJ7VaO8IcSHvuTzsFNBFIuNbYBEACygpK2 VY5uya+sGZHmDD7PjgrSAmyC33ETgyrDPycRHXMW6/fVAORhoveDlxsb5EH+ci0MRoQs6yyV W66Qb5frLYO9v/A62Bggkpe9oMS00yJ3xcRLx98RqQT/6DF3Ro5Po8VgOPKKc7GmqwXfT8bx TWaFowfY3YMwT6TTGv8pMOAE1Qtn8wucbqOH8FLJdVrvAxS2zFcEhxlwqplekGFF39ItxCpz ZCkR92t63eybKwtP+pQS/LC6E+eCtyejRoounc2pYTsnLEiOEfHM3JaH90SMuTIf2f66r+Hd DoGNm+0DmJxqyE1bcguVKsxjGcdHZ0K+QZu2Dh2gjC/y4zKGI9qLxYds42lOiP7Jsd7LVZDE aZqge/3GD5LZKRlfCvUtJegoInqZ/acplNPzQgRSl6z7qKKys9Pl+o+mLEsuzydSghCIdp0j 3YQe/+Hs8Nwwfwjn0xPBGPsWz6UxeA3yPuAEa2z/edwuGdiQu8R1Bqh/g/00NqmIk5nx3WU6 871mBwhEQKWSqtRK3aZe5h3xZ8MqAwfDqkvUFn8M90JfE3qBTz+S3UuDx5BKqINrx4+p4yZy wy1HFOThilaxorvKnTBsiCTXsmOnhnJfuEUfojSWglUsCwwfqLW8QoNnHphgH70yOBhqcMV7 n/P6/CS/ZfSYK/88Nlq6ImcDiQ4T6QARAQABwsFlBBgBAgAPAhsMBQJX1/daBQkHivUkAAoJ EI+wd0icZLmNpcIQAL31K0PmLjtiYaH5GrY0MY5V/LFkkkdWvgrFK/6eCWoZGM+A1GkZ/ynh gWK3x0p5DZZTesv2yXpJ3lObRxXWGYWi68HKXEczQ28IF6D7G2zwE4pfHpStY337PXoi5lm9 RH/J+oqnlzeWYxnIdA5A1ZTvpUbGwdlyNE1fopngD2ZIXu0/phLwzChzk4U1ODEVWfzjJgPs 4hVm/ZsSqXzoYVFD0lWdtGGA3OxV0bALOiZ1FUy9tHL7ZLkjqU1DLJP/WggvT6mhyWTYoDXk 4u2z1qXeY14vrGH0G/DIpRWQEMYrAHnerwEymgMWWx4fCZkbUguS7kDJ/mzUIFJu038NhzuZ /+sVBTboZ6cGHxl6wCZw/bA3AI3z54WQeFlfxJd9ikzwYBoY8bmrM9ZcJLVwd1MzOMX3Y/PR MdUiTG/J8Mb5JtFPD2cX80ZoRBKqU0FpPtgubN4BUxgeTKzebWGQ4Hts50byGAC8L4zqr8Dp ji3RyGsibI7/SpwgM+e7BjrvKIBKcbopU+MiDl74YGziWA/rjtsFlYcH90Ndyvvxuu9IWdtS xpaVMhwwIcbQMwEzdZFy4NI3OK0D8wDuRRUreZPVi/FZT8SbEho6aRpUci5jM/5STED/4Quq yzZpybIvC5taUeRsFAsNB7uf+rR3tYii3M0eaOqwxwAc4OCzF83IwsF8BBgBAgAmAhsMFiEE 6jiiZvHNwp19meaCj7B3SJxkuY0FAluX/3QFCQtK/T4ACgkQj7B3SJxkuY24YhAApwTdvRxp pSS6i8odx/5W2Qyl1kINSs5U4jHC/xFMK1IWCytC5vbbBzYIEH6rZwCU1vtIP0PcBrCwwMk2 h7YD1MpvIxVrT7+OWHxxJUsHVEs8vNGSsXMOVrA+KH6byorXuI+3oc3oCRdJydSZTxRsEQ2k aFYoPnEA6o7St3wjn5bE4CHKreIAf+OMe/c1kn3amoOuESzJrYVVqvnkQkMxTWjh+p0lHKZl 3vzkzEWMd8HqrJrSwJuJHB0XRkem5pZjnJ4OYJXk9kyJsIltym0cwxhSM4/4HMel77KJxHSh r/1YFFmL6sUp5LXff2FlVEGo/lzfgu0tqfFU4ZMM08Wxt9I1PK4IwoHIt3Tm4qZucJL13SNj o65OcM9sg7UEtQx4xOBngtHz9l4pwtyHh/Ll5dYIAsR+3psxE2YDPoYjNSI7eDPNJ4Y2zAff PavAoXjoZU/+kdBuwVigKBaP58fiqs1jaEV9rVj2ja28Yj3U8Ht5eopidC2KjKDRhudvlghP fCbIoVxOcetptrxBc7WyfwsssiAIHHUHZ1XofTdgYcffS3SlpsW9QyxouJ7AXbZTq+Jxh2zt +j2wbz6dFITBjHvFELONTQRqdruGr2z3UGHDAXVERx4HFTzFE0CDew9cxjzSsP99X9dQWOKN wXWy1wIICd3Rm5tmQJ49zkESt0o=
- Ironport-phdr: 9a23:OzCEZR3uqx1y89ggsmDT+DRfVm0co7zxezQtwd8ZseITL/ad9pjvdHbS+e9qxAeQG9mDtLQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmlTkJNzA5/m/UhMJ/gq1UrxC9qBFkzI7YfJuYOv1icq7Tf94XQ3dKUMZLVyxGB4Oxd5UCD+obPeZZtIn9u1oOogG4BQKxCu3vzSNHh3713aIg1+QqDAbL0xAgH9IUsXTUt8n1NKYIXuCz1qXH0DLDYO9X2Df+8ofIdgssru+KXbJraMbRzUkuFwTDjlmKp4zlJSqY2+IQuGaV6OpgUPigi28hqwxprTivx9ssionUho0O0FzL6SJ5wIMzKNalS0B7ecapHIZfui2GLYd7QMEvT3t1tCs7yLAKo4C3cDYUxJg/xBPTdeaLf5aI7x7+TuqdPyp0iXF/dL6imRq/8k6twfDmWMauylZFtC9Fn8HMtn8T0xzT7dCKSv9n8Ui6wjmAyRrf5f9CIUAvjKbbL54gwrk2lpYJv0TDBDf6mETwjKCIakUp4vWk5uv7brn8pJKRNZV4hhz/P6ksgMCzH/o0PhYWU2ie4+u81bnj/UPjQLVNi/07irXWsJDAJcQava65Hw5V3Zwl6xqlEjim18gXnHgELF1ffBKKlJbmO1fVIPzhCfe+g1OskDFxy/DIJL3tGo/NIWTbkLf9YbZ97FZRxxY0zdBG/p5bFrUBIO/oVULqr9zZDho5MxSuzOr9CdV90JkeWWOVDaODPqPSqwzA2uV6H+kNY7gnuTP4JuIg7vjoxSslmVIaO7uo2J4WQH+9F/ViZU6eZCyoytwGCCIBuhc0ZO3sklyLFzBJNFioWKdpzTEhCZm6DI7FDqyqi66C1SPzSpZWfGFdFlGFFzHkcI6WWP4IQC+UOYplgzsCE7a7HdxynSqyvRP3nuI0ZtHf/TcV4Mq6hYpFotbLnBR3zgRaSsGU0mWDVWZxxzhaSjktmaRupko7xE3RiPEk0cwdLsRa4rZyail/LYTVlrcoBtbpHwbQedHPRkz0Goz7UwF0dco4xpo1W2g4G9imiUmSjS6jCbUY0bGNH9kw46XamXbrdZ5w
- Openpgp: preference=signencrypt
Hello,
I was already using a local OPAM package for 8.8.2 and was essentially
waiting for the discussion to finish. There is now a pull request, so no need
for anyone else to become active ;)
Best,
Christian
On 10/21/2018 06:32 PM, Théo Zimmermann 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
>
> <mailto:e AT x80.org>>
> a écrit :
>
> Christian Doczkal
> <christian.doczkal AT ens-lyon.fr
>
> <mailto: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.
>
Attachment:
signature.asc
Description: OpenPGP digital signature
- 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.