coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Théo Zimmermann <theo AT irif.fr>
- To: Coq Club <coq-club AT inria.fr>, coq+announcements AT discoursemail.com
- Subject: [Coq-Club] Coq Platform release 2022.04.0
- Date: Thu, 21 Apr 2022 15:28:05 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo AT irif.fr; spf=Pass smtp.mailfrom=theo AT irif.fr; spf=None smtp.helo=postmaster AT korolev.univ-paris7.fr
- Ironport-data: A9a23:0NbACqxjE5iLOL4K3QJ6t+f2wCrEfRIJ4+MujC+fZmUNrF6WrkUBn GRMDD2PPvnbM2Snf9gkadng8hwOuJHQxtMyT1Fo/FhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrZRbrJA24DjWVvR4 4qq+qUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhe+ dN/uZyQYDw2fauPv/QcDjp8Lx9xaPguFL/veRBTsOSQyFfBd3byhehoDV9zJYQC+/0oR29Un RAaAGlcMlbZ2r7wnuv9E7I87iggBJGD0Ic3pnFtyhnYF/coB57ZK0nPzYYChGhg2pAWdRrYT 9cIams+QzeYWhtgO1c1S7Bl2/W4pWaqJlW0r3rM+ftmvDiMpOBr65DmN8OQcdiXT+1Oj0OAr yTH+X74C1cULrSiJSGt8XW2gevCg2XmXoMMUaWx7P9x3xud3AT/FSH6S3OUkP+Lhk6eculAa EpX3Tov8IsWyHKkG4yVswKDnFaIuRsVWtx1GuI86R2Qxqe83+p/LjRdJtKmQIB83PLaVQDGx XfVz4OyX2YHXKm9Ey7Fqer8QSaaY3BNRVLucxPoWiMr2bEPSqkLhwjOVb6P+4bq04WsRVkcL xghSiwzwrkeyOAR3qOw8Dj6b9OQSnrhEFNdCub/BzLNAuZFiGiNO9TABb/zsa8oEWphZgPd1 EXoYuDHhAz0MbmDlTaWXMIGF6yz6vCOPVX02AAyR8V5rmX2qiX8Jui8BQ2Swm83aa7onhe3O yfuVf95v8UOVJdXRfMmM9/pW5RCIVbITI+4C6C8giVyjmhZLVPWrX4+OiZ8Lkj3nU4ljawlU ap3gu7yZUv2/Z9PlWLuL89EieFD7nlnlQv7GM6npzz6j+v2TCPFGN8tbQrTBshkvfPsiFuPr r53aZDQoz0BC7KWX8Ui2ctPRbz8BSZnWs+eRg0+XrXrHzeK70l8Va+Mme9xJ90NcmY8vr6gw 0xRk3RwkDLX7UAr4y3TApy6QL+wD5t5s1whOikgYQSh13Q5PtSu9qYRMZUtJOF1+OtmxP9yb v8EZ8TZXq8WF26Xp21MYMmvtpFmeTSqmRmKY3ivbg85csMyXAfO4NLlIlbi+XBWXCq6vMczu ZO60QbfTcZRTghuFpmEaeiuwRW/pyFFyu51WkLJJPhVeVntqdQxcnGr3qNucsxVcEfN3DqX0 QqSECw0n+iVrt9n6sTNiICFs5ytT7l0EH1cEjSJ9r2xLyTbojeuzIIcAuaFeTfRCDH99Km4P 78HzPbmN/kKghBXtYtiVq5i16MluJ3hveYCnAhjGXzKaXWtC69heyHfh5kR7fMVnrIJ6xGrX k+v+8VBPevbMs3SEGkOeFgvYNOF2KxGgTLV9/k0fRv3vXcl4LqdXExOFBCQkygBfqBtOYYoz LtzosIQ8ADj2BMmPszc1HJX8H6LKnEeFbght49fGIbxixF0jF9YOMSOBijz6ZCJStNNLkhze mbO1PSZ2ewEyxqQaWc3GFjMwfFZ28YEtidK+0BedV6HrdzI260s1xpL/DVqEAkMlkdb0/h+M 3RAPlFuIfnc5C9hgcVOUghAwe2a6MF1LqAw97cIqIEdZ0qvTGvJIXN7JOCM4gUB+nhdZWcd8 qvwJKMJl9r1VJmZ48fwcRcNRz/foRhZ9xfDloapBaxp2rEkNCH9jPbGiXUg8nPa7ABYuKEDj ehw/eg2Z7eT2ev8ZUEkI9Hy6In8gyxo6ICPrT+NMU/J8azhlOmO5AWz
- Ironport-hdrordr: A9a23:9SjFMqlAAi6naqW/nKPRgCjG2AXpDfKR3DAbv31ZSRFFG/Fw9v re5sjzuiWE7wr5NEtQ/exoW5PwJE80l6QFmLX5VI3KNGKN1QTHTb2KhrGSuwEIdReOjdK1Fp 0BT4FOTPP1BVh+yeDg4Ae5FN4khP2K6rqhi+ub71oFd3ANV0it1XYbNu4Vf3cGOXg7ObMJUL 6d49dKvDasEE5nEbXEOpDNZZmgmzQVrv7bSC9DBFos6QuLhTOsrJL8DBSc2A4GX1p0sMZSgV Ttokj7oq+jsfWyyhqZ7WXU9Jg+oqqTu6l+Lf3JiYweKzfpggasIL59U6CfplkO0ZTfnGoXrA ==
- Ironport-phdr: A9a23:Byn2JRwzCdH/HOzXCzIjwVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z heZva8m0geBHd2Cra4e0ayO6+GocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjSwbaluI Bmoognct9UaipZmJqot1xfFuHRFd/pIyW9yOV6fgxPw7dqs8ZB+9Chdp+gv/NNaX6XgeKQ4Q 71YDDA4PG0w+cbmqxrNQxaR63UFSmkZnQZGDAbD7BHhQ5f+qTD6ufZn2CmbJsL5U7Y5Uim/4 qhxSR/ojCAHNyMl8GzSl8d9gr5XrA6nqhdi2IPffp2bO+RicaPcZdMaRHROXsBNVyxaH4iwa 5IDA/cdMepEqoXwoUYFoxmjCgm2HO7gxT9GiHH106MnzeouDRrL3BA8E98UrHjYsMn5OaUUX OuozKfI1zLDb/ZO1Dnj6IjPaBchrumPUrJxdMrRzFcgFxnAjlqKr4zlOS6e2+MRs2ib8eVgU vmii289qwFwrDij3MksipPQi48T11vL+jl3zpwvKt2kVE50f8SkEJ1Iui2HN4V7Rs0vTmVrt Ss6ybAIuYK3cScFxpkp2xPSavOKfpaW7x79VeufLip1iXB4dby/hxi/80mtxvD4W8Wq3lhHq DdOnNfLtnAIzRPT686HR+Ny/kegxTaP1x3T5fpeLU8okqrbLpgsyaMzmJoLqUnPAyv7lUrsg KOIdkgp9fKk5uX6brn8u5OROYx5hhngPqgynsGzG+c1PwgUU2SG+Omx1qfv8EL2TbhMk/Y4i LPWsIrAKsQevqO5AxFa0oIk6xunDDem184YnX4DLF1bZhKLlZXpO1fPIPDmFPu/m06jkC1qx /DdPLDtGJvNLmLbnLfge7Zy9VJcxRIuwd1b6J9YEK8NLfL8V0PrtdHUEwU1PxG6zuvkENl90 5kRWWOLAq+XKqPStlqI6/ozI+mMeoAVvy3wK/k/5/7vg381g1EdfbOx0ZsRc3+3Bu5mLFmBY XrwntcBFn8HshcmQOzwlFKCSSJTZ2q1X68k+j47D5umAZ7fSYCpnbyOxzy2HoZWZ2BDElCDC 23kd4SCW/cWaSKdONVtkjIeVevpd4h0/ha3/CT+1rAveuHT42gTsY/p/Nlz/eza0x8oo3g8B MOEkGiLSWZpmGgFQjIwwLtXrU1mwVCey7N1hvVZEZpY4PYafB09MMvgz219POLzXwfMZNKAT lDuFsmmDDYZT8gwzZkAeRAuSJ2Zkhnf0n/yUPcunLuRCclxq/qEt5CQD8N0ynKdkbIkk0FjW cxXc2uvmq948QHXQY/PiUSQ0aiwJuwHxCCY0mCFwCKVuV1AFhZqWPDZXX0YTkrMrNq/6FmRB 6S2B+EfOxBagdWHNrMMb9ToiVtcQ/K2JNTTZEqwgWa+QxiSlfuXdIS/XWIb0W3GDVQc1QAe+ XHTLQ8lGiKouH7TFhRtEkjoZ07yt/R4qW3+VkYuzhrVKUN7v1as0jgSg/HUC/Ya37Zf/Twkt y0xB1GlmdTfF9uHoQNlOqRae9I0plldhyrfsERmM5qsIroH5BZWehlrv07oyxR8C5lR2ckso nQwyQNuKKWemFpffjKc1Jr0N/XZMG73tByobqfX3BnZ3rP0su8T6Pk/g1T5vQ/vGFBju3Rr3 t9J0meNs43QBVlaWpbwX0Arshli8uiLPm9nut+SiyQqaPLk4Vqgk5ozCeAoywitZYJaOaKAT 0rpFtECQtOpMKoskkSoaRQNOKZT8rQ1NoWobajjuubjMeB+kTahlWkC7pp61xfG6ypxTcbJx ZcLhf+ClFjPR3LngVGtv9qi05xEaDY6H3C+x27qHsQCA886NZZOAmCoLcqtw9x4jJO4QH9U+ mmoAFYe0dOocx6fB7Dk9TVZzl9f4XmumC/jiidxjylsta2HmirH3+XlchMDfG9NXmhry1n2c 8C4iNUTXU7gaAZM9lPt+Ub3wIBavqVxaWfJCUtFZCn5KWh+X7D47+veJZQStNV26GMOC7T0a EvSUrPnphoGzy7vV3BTwjw2bXDP2N2xnhB3jn6cMGcmqXPYfc9qwhKMrNfYRPNXwn8HXHwh2 GWRXAXgeYfwu4zPx8Sm0Kj2TW+qW5xNfDO+yIqBsHD+/mh2GVikmOj1nNT7EA882Cu91t9wV CyOogyvB+ujn6m8L+9jeVFlQVHm7M8vUJ1+n4wYhYsR1z4UnN/GtWpCimr1PdhBjOjibHcKb T8RwtCT7hKviygBZjqZgon+UHua2M5oYdK3N3gX1iwK5MdPEK6I7bZAkHg9sh+ioAnWe/Q4g iYFxK5k9isBm+9Q8llIrG3VEvUIEEJfJyCpixmY84X0svBMfGj2Ob2gnB13mdTrZF2biidbX nuxOpIrHCsrq956LEqJy3rrrIftZNjXa9sX8BySiRbJyeZPeto3kbIRiCxrNHiY3zVtwvMnj RFowZCxvZSWY2Rr8qWjBxdENzrzL8oN8zDphKxak46YxYeqVplmHzwKWtPvQ5fKWHoKsu/7M g+VDDAmgnScA73bEBHZ9UFnsTfXGoqqLC7RKmNYhdRuSR+BJVBO1QAZWDJp+/xxXguuxcHnb AJ4/mVItwK+8EYQjLwxcUCkAjS6xk/gcDo/RZmBIQAD6whD4xyQKsmC9qdoGDke+JS9rQuLI 2jdZgJSDGhPVFbXYjKrdrSo+9TE9PCVQ+SkKP6bK6mOpOt2Vu2Jy9ShyME1mlTEftXKJXRkA /AhjwBbWmtlHs3ChzgVYy8QjSXJYtDduRG95Ghvp9q+66utVhiltu7tQ/NCdN5o/R6xm6KKM eWd0T14JThv3ZQJ3XbUybIb0Tb6bglvbTijV7oa53alpEP4mahNCBoWdWVuMspWqro1xAhWZ ojVkIGtvlaXpv8vClkDW0azw6mU
- Ironport-sdr: XrJ9NgODXOYCj6bijHvPyBBCwLJfSRLHsM2ecm9ZJijxbS6xY79PfnSPmzrVk4jBqXWa2uowes HcFJ7bfOZjOB6WtJxU2E/wXjF7zURCcrzq1sNM0jB6bxPhG/A26a1ozyvvHNGRBGerjzTGTYmw xtZ+tZM56H/SezN6oAqCqGyHQZ4yjx0rnUuiLS2hbUkjkEv5kYFqGOQUmfr9obsr9T2zQb62Hp a10I4uTWXVedT+IDWyisZmO2s4LqfWmAsZv6U4zpx2INVOvw3IbhcZnkgC7pbP0qeXZZCCEyUP eBarmRbXcGM2cZ37yUeUzo0I
Dear Coq community,
On behalf of the Coq development team, the release manager of Coq
8.15, and the Coq Platform team, we are happy to announce the
immediate availability of the Coq Platform version 2022.04.0.
Release highlights:
- Coq 8.15 is now stable and the default version proposed in the Coq Platform.
- Flocq has been upgraded to major version 4.0.0. Flocq 3 is still
available under the namespace Flocq3 because CompCert and VST depend
on it. It is expected that the Flocq3 package will be removed when
CompCert and VST become compatible with Flocq 4.
- QuickChick has been re-enabled in compile-from-source mode on Windows
- Several packages have been added: coq-ott and ott,
coq-relation-algebra, coq-mathcomp-algebra-tactics, coq-extructures.
The main supported version is:
- Coq 8.15.1 with an extended and upgraded package collection.
Several compatibility collections with Coq 8.12 to 8.14 are available.
You may install the Coq Platform using opam-based scripts, or Windows,
macOS and Snap binary installers (Coq 8.14 and 8.15 are available in
the Windows and macOS installers, and only 8.15 in the Snap
installer).
To learn about the Coq Platform and get access to the installers,
please refer to:
https://github.com/coq/platform/releases/tag/2022.04.0
- [Coq-Club] Coq Platform release 2022.04.0, Théo Zimmermann, 04/21/2022
Archive powered by MHonArc 2.6.19+.