coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Christian Doczkal <christian.doczkal AT ens-lyon.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.8.2 is out!
Date: Mon, 29 Oct 2018 09:44:00 +0100
Authentication-results: mail2-smtp-roc.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/88Nlq6ImcDiQ4T6QARAQABwsF8BBgBAgAmAhsMFiEE6jiiZvHNwp19meaC j7B3SJxkuY0FAluX/3QFCQtK/T4ACgkQj7B3SJxkuY24YhAApwTdvRxppSS6i8odx/5W2Qyl 1kINSs5U4jHC/xFMK1IWCytC5vbbBzYIEH6rZwCU1vtIP0PcBrCwwMk2h7YD1MpvIxVrT7+O WHxxJUsHVEs8vNGSsXMOVrA+KH6byorXuI+3oc3oCRdJydSZTxRsEQ2kaFYoPnEA6o7St3wj n5bE4CHKreIAf+OMe/c1kn3amoOuESzJrYVVqvnkQkMxTWjh+p0lHKZl3vzkzEWMd8HqrJrS wJuJHB0XRkem5pZjnJ4OYJXk9kyJsIltym0cwxhSM4/4HMel77KJxHShr/1YFFmL6sUp5LXf f2FlVEGo/lzfgu0tqfFU4ZMM08Wxt9I1PK4IwoHIt3Tm4qZucJL13SNjo65OcM9sg7UEtQx4 xOBngtHz9l4pwtyHh/Ll5dYIAsR+3psxE2YDPoYjNSI7eDPNJ4Y2zAffPavAoXjoZU/+kdBu wVigKBaP58fiqs1jaEV9rVj2ja28Yj3U8Ht5eopidC2KjKDRhudvlghPfCbIoVxOcetptrxB c7WyfwsssiAIHHUHZ1XofTdgYcffS3SlpsW9QyxouJ7AXbZTq+Jxh2zt+j2wbz6dFITBjHvF ELONTQRqdruGr2z3UGHDAXVERx4HFTzFE0CDew9cxjzSsP99X9dQWOKNwXWy1wIICd3Rm5tm QJ49zkESt0o=
Ironport-phdr: 9a23:8pRnoxAoT1KLujhy+sjwUyQJP3N1i/DPJgcQr6AfoPdwSPT6osbcNUDSrc9gkEXOFd2Cra4c1KyO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoJKiA38G/XhMJzgqxUrh2uqB5jzIPPb4GZKOBzcKTBcd4UR2dMWNtaWSxbAoO7aosCF/QMPeZCr4n8vFsOsRq+ChOqBOjyxDFIgWP53Kw50+s7FQHNwQstEM4OsHTOrdX1L7sSUeGvw6nO1znMcvRW1iv86YjLaB8hpeqBUqx2ccrK0EUvEwPEjlKWqYD/MTOVzP0Avm6G5ORuUuKvjnQoqwB3ojW3yccsi5XJhoIIyl/f7yl23IE1Jdi+RUVmYtCkCINduzyVOodqWM8vQWNltDwnxrAHu5O3ZjYGxIo5yxLHaPGLbZKE7gzjWeqMOzt0mm9pdbGlixqv70StyevxXdSu3llQtCpKiNzMu2gN1xPN7siHTeNw/kO71jmUzA/c9PtILl4ylarAMpIhxr4xlp0VsUjZEC/2gl36jK6Qdko65uil8/nrb7r6qpOGNYJ5iBvyPrkvl8G9G+g0LBYCU3aD9eS5zrLj/En5QLtQjv0xl6nUqIzVJcQBpq64GA9Vzocj5Ay5Dzu8zdsYmmUILVNGeB2di4jkIE/BIPbjDfumh1StkDBrx/bcMr3vGJXBNmLDn6v5fbZh905czxI+wsxY55JNE70OPPbzWlLqu9HDFR84Mwm0w/79B9ln14MeX3iPAq6DP6/Iv1+I/LFnH+7Zb4gM/T35NvIN5vj0jHZ/l0VOU7Ou2M48aGq5BehnKkPRTX3nkNQIFS9etQokTff2iVSEFzJUbGSxVqYU6zcgTYa3CoGFSJr70+/J5zuyApADPjMOMVuLC3q9L9zVCcdJUzqbJ4paqhJBULGgT4E70hT37133zaEiKvvT/GsWr8C6jYQn16jojRg3sAdMIYGFyWjUFDN5mHhNQy4x2uZxux4lkwrR4e1Dm/VdUOdrybZJXwM9bM+Oy+VwAd20VwTaO9OYT1DgTM/0WTw=
Openpgp: preference=signencrypt

Hi,

the pull request has been merged. Thus, Coq-8.8.2 should now also be
available to opam-1.x users via the coq-released repository.

Best,
Christian

On 10/24/2018 09:22 AM, Théo Zimmermann wrote:
> Hi Vadim,
>
> That was precisely the question asked by Christian. He has opened a pull
> request now (https://github.com/coq/opam-coq-archive/pull/495) so this
> issue should be solved soon.
>
> Théo
>
> Le mer. 24 oct. 2018 à 03:02, Vadim Zaliva
> <vzaliva AT cmu.edu
>
> <mailto:vzaliva AT cmu.edu>>
> a écrit :
>
> 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 <tel:+1%20510-220-1060>
>
>
>
> On Sun, Oct 21, 2018 at 9:33 AM Théo Zimmermann
> <theo.zimmi AT gmail.com
>
> <mailto: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
>
> <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!, Emilio Jesús Gallego Arias, 10/05/2018