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: Thu, 4 Oct 2018 23:42:29 +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:QLyxTxYss8SXiriPdT1BC1H/LSx+4OfEezUN459isYplN5qZoMu9bnLW6fgltlLVR4KTs6sC17KJ9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCa/bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjAk7m/XhMx+gqFVrh2vqBNwwZLbbZqaNPZiZK7Tes8WSGRDU8tXSidPApm8b4wKD+cZI+tYr5P9p1oVrRuiBAmjHuXvwSJGiH/xwaI70uchHhvC3Ac9GN8BrHTUrM/0NKcJTeC1zbPHzTPZY/xL3jfy9InJchM7rvGIRr9/b8zRyVI2GwPBjlSQrorlMymb1uQXqmWW6fdrW+G3i2M/tg18rSSjyt0uh4TLnI4Z11HJ+CdjzIorO9G0VlZ3bN26HJdKqS2XN5Z6Ttk8T211uys20KAKtYC4cSUM1Z8p3QTQa+adfIiN+h/jVPieITN/hH99fLKwnQ29/lO+xeHmSMa01k1KojNBktjMsXAN0Qbf6sadSvdl/0eh3yiA1xzL5+1ZLk04ibDXJpwjz7Iqi5YesEbOEjXolEnokqOabkAk9fKp6+TjbLXmvJicN4pshw7iMqQugM2/Af8kMggPRWeb//6w26Dk/ULlQbRKjec5kq3CvZ/EI8Qbvbe1AwtV04Yk7RazFTmm0M4AkXkdMF1FYA6Hj5TuO1zWPP/4Cu6/j02wnzdv2vDJJabsAo7NL3jGiLfuZ6xx609ayAopzNBQ/YhYCr8bIKG7Zkikv9vBSxQ9LgacwuD9Cdw72JlNd3iIB/qyMLnTqkOJ7+RnD+6HdowcvH6pIPg/5uXyjHY/31Madruq1J8/ZXajW/B3JEPfb2C60YRJKnsDogdrFL+is1aFSzMGPy/jDZJ53SkyDcedNamGQ4mshLKb2yLiRc9bYHsDDkGLFzHmbdfdAqteWGepOsZk1wc8e/25UYZ4jkOjshS/z6tgKKza4H9A7M+x5J1O/+TW0CoK23l0AsCaijDfS2h+lG5OSjktmaRupko7xE3RiaU=
Openpgp: preference=signencrypt

On 10/04/2018 09:08 PM, Théo Zimmermann wrote:
> FYI, the signed Windows packages are now available on the release page, and
> the OPAM package is now ready (for OPAM 2.0 users) thanks to Heiko Becker.

Will there be an OPAM package for OPAM 1.2.x users? As of now, OPAM 2.0 has
yet to arrive in the Gentoo or Ubuntu repositories. Other distributions will
likely also still ship 1.2.x.

Best,
Christian

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