coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq Platform 2021.09.0

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 2021.09.0
Date: Mon, 8 Nov 2021 17:58:21 +0100
Authentication-results: mail2-smtp-roc.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:FOnrSanEJrMBQeXj6ZV8Yiro5gzSJ0RdPkR7XQ2eYbTBsI5bpzFRmmseW22BOa7bYTPxf4h3PNni9hkA75bWyt4wTgdq3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t512huEtnanYd1eEzvuWGuWn/SYUOZ2gHOKmUbedYnApHGeIdQ944f5ds75h6mJXqYPha++9kYuaT/z3YDdJ6RYsWo4nw/7rRCdUgRjHkGhwUmrSyhx8lAS2e3E9VPrzLEwqRpfyatE88uWSH44vwFwll1418SvBCvv9+lr6Wk4NWLnWMBbIl3xXRe26iwJDvXN03LxT2Pg0MBYLzW/Uw5YvkZMU7szYpQQBZsUgnMwBUxRfOyBkPKMA9qWvzX2X65LKkBSWKxMAxN03UBBnYt1HkgptOklF8uVdIzQQZDiYlueuyfS6TPNtj4ItNqHW0Ck3rik1lneEGa9zGdabV/+fvZkCgWlukpsbRbCDc5VMQCRJRxHmTx1rG14xNIgYiL7w0yG7KykwREm9pq0t5Gze0kps1rnzdcLcYN2RGoNbhC6lSqv91zyRKnkn2Ba3kFJpM05Ah9MjWQv4X5gVELCmsONsgUPW3mUJCQZJE1WhyRV8oiZSRPoHQ3H4OAJ3xUTxyKBvZtjnXhP+rmTsUts0RY9LC+NjgO2S4vO83utab1ToihZAct0o8sEsLdDv/jdlgPuxbQFSXHappb5xO1taQf5e+cTYEIPaWRI5cA==
Ironport-hdrordr: A9a23:xWMjZqx1IdXImD6Q9Mz4KrPwq71zdoMgy1knxilNoHtuA7alfqGV7Y8mPHDP+VIssR0b6LW90cq7MBHhHPxOkO8s1N6ZNWGM0gfGQr2KhrGSugEIdReOjtK1Fp0AT4FOTPP1BVh+yeDg4Ae5FN4khP2K6rqhi+ub71oFd3AMV0it1WdE4on3KDwKeCB2Qb44EYeR/cZLzgDQBUj/p/7LZUXtgNKvm/T70JGjax8FAxYm7U2jiiyl7bjiChTw5GZgbxp/hbRn+2nGlwT44+GYufehxnbnphHuxqUTm5/qy9lGDMyIzvIJIijxkG+TFfVcZ4E=
Ironport-phdr: A9a23:Jq69sBNNSiutkZd2COIl6naTDRdPi9zP1u491JMrhvp0f7i5+Ny6ZQqDv6wr1QWCA9uTq6odzbaM6+a4AS1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf65+IA+roQnPucUbgIpvIbs1xhfVv3dEYetbyX10KV6Jgxrw+sK894N//ipNvP4s69ROWrjgcaQiSrxYAjUmM2Qr68DuqBLOUwiB6GYCX2sPihZHDBTL4x/8Xpfqryv1rfF91zWAPc33Vr87RzKv5Lp2RRDyiScHMzk58HzLisF1kalWrg6tqwB5zoXJe4yeKuZwcb3BctMbXWpBX9heVypdAoOncoADC/MNMftEo4XholcDqwa1CwuxC+P10jJHiX/406M53eo8Dw/JwAMuEskSsHTNttj5KLseXfy3waTO0D7Nb+lW2TD46IXQbB4hoeuLXbVofsXSyEkvEgbFgUuKqYzgJTyV0OINuHWc4up8VeKglWknphpwoji1x8cshJPFhowPyl3d8yhy3Yk6K8GiRkFhfd6kDIVftzucN4ZuXM8vQWFmtSgmxrEYuZO1cjYGxIglyhPcdfCJc4yF7xztWeuRPzt1hmxodbyjihuy/kas1+LyW8qw3VhEridJjN/BvW0D2RzU78iIUPp9/kG51DaA1gDT9uFEIV0vmqbBN5Ehxbswm5wOukrABi/7gFj6gauZe0k+5OSl6+vqbq/nq5OBLYN4lw/zP6c2lsChHeg1NhICUmub9OimybHu/E/0TK9Kg/ErlKTSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkYnn4HLEhCeBKDkYfpJUvCIO3+Dfe+nVSgiS9ryOrcPr3gGZXALGLPkLn7fbpl6k5czhQ8zcxH6p5JDrwML+j/VlHxudHXFBM0MhG4z/z6BNhz1Y4SQWePDbWYMKPWv1+I/OUvI+yUaY8JuDbyNf8l6uXvjX8jmF8dc7Ol3ZUNaHygBPRpP12ZYWbwgtcGCWoFog0+TPXzhFKeVT5Tem29Urkn5jA7DYKmFZ3MSpqsgLyHxie7H4dZanpIClCWQj/UcNCvXO5EQyaPKIc1mTsdELOlVoUJ1Be0tQa8xaAxaqLf/TRbvJTl08Vz7ODWmBcu7hR4Dt+W1HyXVGxxl2IMATQx2fNRu0t4n2uDUK9Psf1dENFJ4vpPVE9uKZ7RyMR7EdH8HAzbKITaAG26S8mrVGliBuk6xMUDNgMkQ43KZvHr3C2wBLsYifqWAp0qt7rVxXnqeIBz0SSevEHOp1g8Q8UJO3f038aXEiDSHY/H1UuDxf7CSA==

Dear Coq community,

On behalf of the Coq development team, the release managers of
Coq 8.13 and Coq 8.14, and the Coq Platform team, we are happy to
announce the immediate availability of the Coq Platform version
2021.09.0.

This is the first Coq Platform release which includes several
versions of Coq. Furthermore, the included package set was
significantly extended since the 2021.02.2 release.

The main supported version is:

- Coq 8.13.2 with an extended package collection.

Furthermore, we include two compatibility versions (8.13.2 with
previous package set, 8.12.2) and two preview versions:

- Coq 8.14.0 (with a preliminary (beta) package collection—not
all packages support Coq 8.14 yet).

- A preview of the (not yet released) interactive GUI Ltac
debugger for CoqIDE, based on Coq 8.14.0. See documentation at:
https://github.com/coq/coq/wiki/Ltac-Debugger-Preview

To learn about the Coq Platform and get access to the
installers, please refer to:

https://github.com/coq/platform/releases/tag/2021.09.0

[Coq-Club] Coq Platform 2021.09.0, Théo Zimmermann, 11/08/2021