coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Théo Zimmermann <theo.zimmermann AT telecom-paris.fr>
- To: coq-club AT inria.fr, coq+announcements AT discoursemail.com
- Subject: [Coq-Club] Coq Platform 2022.09.1 release with Coq 8.16.1
- Date: Tue, 17 Jan 2023 13:41:51 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo.zimmermann AT telecom-paris.fr; spf=Pass smtp.mailfrom=theo.zimmermann AT telecom-paris.fr; spf=None smtp.helo=postmaster AT zproxy120.enst.fr
- Dkim-filter: OpenDKIM Filter v2.10.3 zproxy120.enst.fr DF8DB80FFC
- Ironport-data: A9a23:YZLIQ60o5NtREFZIOfbD5QR1kn2cJEfYwER7XKvMYLTBsI5bpzQGz GodDzqPaf/bM2vwLtF+OYW/9xwG6pDcn95qQFE43Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOH9IQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3ZRn0hFaYDkpOs/jY8Eo246yr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW0vB5uhDL0pqAbY3pOlwO0JB9 dcRJT9YO3hvh8ruqF66Yvt0nMMzPZCxZMUSvGp8iz/DZRokacmYHOOTtIMehnFp15sm8fX2P 6L1bRJzbBnHJQ9OP1IaEpc3muGAmnT7fjZfrReNrLA2+C7d1mSd1ZCxbYCKIIzRGa25mG63+ mD55GfHDShdJdmQ62La+3jruMLAyHaTtIU6TeHpp6E63zV/3Fc7AxoPEFC/vPORkV+7Q9sZK koO+yNoo7JayaCwZsvlRRqosSfe5lgRXcFMVeMggO2Q9kbKyza0I3UpbTUdVOcJ6sAxfx8l1 nSAkty8UFSDr4apYX6a876Vqxa7Ni4UMXIOaEc4oe0tuImLTGYb1UOnczpzLEKmpoGlSWqqm VhmuABk2+1M0Kbnwo3mlW0rlQ5AsbDndGbZDC3vV3ik9WuVj6b6OtTxtTA3Ad7ryoKUC1WM+ VYeks6V4Ygz4XylhjSXR/UcRevxofuDKyGaj0QH83gdG9aFpSTLkWN4umsWyKJV3iAsImSBj Kj74lk52XOrFCH2BZKbmqroYyjQ8YDuFM7+StffZcdUb556eWevpX8xPh7BhDC3zhNwwcnT3 Kt3l+7yVx727ow5l1KLqxs1i+B3rszD7T+DFc+rl0TPPUS2NCDNEN/pz2dinshgsPLV/1WKm zquH9GHzRxDXfeWX8Uk2dB7ELz+FlBqVfje8pUPHsbae1oOMDx/V5f5nO1wE6Q7xP49vrmTo RmAtrpwkgCXaYvvdVzXMRiOqdrHAf5CkJ7MFXVzYAj5gCJ5MN/HAWV2X8JfQITLPddLlZZcJ 8Tpse3ZWpyjkxyXqmxPXoq3t4F4ahWgiCSHOifvMnB1fIdtS0aNspXodxfmvntGRCeml9oMk 5v53CPiQL0HW1tDCuTSY6mR1F+fhyUWt99zeErqGeNtXnvQ3rJkEAHLtc9vEfowcU3C4hC4y zepBQwpoLiRgo0tr/jMq6O2j6aoNOpcRnhlD23qt+eqERnw/mGmxZ1kVdSZXDHCVVHb/LepS vVVwsrdbtwGvgdumKhtH4l7yZkR44PUmIZb6QB/DVP3b1iPIZFxEEmshMVgmPVE+e5EhFGQR EmKxOh/BZyIH8HUSHgqOwsva7W458E+wzX9w6w8HxTn2XVR4rGCbER1OiuMggx7KJ9eEtss4 cUlif4sxz2PsDgYGffYsXkM7EWJFGIKbIs/vJJDAIPLtBsi+msfXbPiUB3J8LO9QPQSFHlyO TKFprvwt5IFzGr4TncDP3zs3+1cuJcwhC533GIyf2qupN6UqcI0jTtw8Cs2RDt71h9o8fx+E Uk1OlxXJZehxSZJhs9CU0+SADN+IgOTwRXu+msrjGbIEkyjV03WDWgHIe3W1lsow2FdWTl6/ b+j12fuVwjxTvzxxicfXU1EqeTpaN5Mqj35h8GsGvqaE6kAYTbKhrGkYUwKoUDFBfwdqVLmp +4w2spNcoz+aDAtppMkB7mg1bg/TA6OIEpAS6pD+IILBWTtRyGg6wORKkyeetJ/GNKSyBWWU /dRH8NoUwiy8A2srTpBXK4FHOJSrc4TvdEHfuvmGH4Cv76htQFWiZP39BavoE8wQt5rr9QxF ZOJSRKGDV6rpCV1n03jkZB6H1SWMPg+WR3E/eGq8e82OYoJn8NyfGoTjLalnXWnHzF23hCTv Q7FTb7clOw/7LhNgK/pLLhIXDypG9XSVcCj0gO6g/JRZ/zhbObMsAI0rAH8HgJ0ZLE+ZfV+p Y6vgvXWgnzXmakQUn/IvZuvG41ix9SAbMAOPu3ZdHBlzDa/Auny6B49ykWEAJ1ukuIFwPK4R gG9OfCCRfRMV/hznHRqOjVjSTADAKHKb4DllyO3j9KILjM/iQXnDteWxUXFXFFhVB0jGsPBU 1fvmvOU+NpngpxGB0YEC9FYEpZIGgLfdpV8ReLhlwuzLzeOsgqOtIK3wFBkoXvOB2KfGcn33 YPdS1KsPF6usaXP15dCv5Y0ohQTC21njPItel4GveR7kC2+EHVMONF13U/q0X2IuneaOFDEi DDxgK8KGz3nWiRVKE+kptnlRRvZCPZm1hIV4NA21xv8Vst0LNro7HhdGuNI/3pydzDkyaS/I Msf4Tv+JHBdB7l3EP0L6KXTbfhPn5vnK7Fhxaw5u9D/BxsVBrBPzHV7HRELWzav/wQhUqnUD TBdeF2oi31XhaI8/QiMtpKV9NwkUOvT8ggV
- Ironport-hdrordr: A9a23:hsJECaiuWqiC0dpMsII0AlzvUnBQXuYji2hC6mlwRA09TyXqrb HIoB19726PtN9xYgBapTjjUJPtfZq4z/FICOYqTNWftWXdyRKVxeJZnO7fKl/bak7DH4dmvM 8KGcUeaOEYZmIK9foSjjPIderIjOP3lJxAWt2x80tQ
- Ironport-phdr: A9a23:FWk+5R/lKarnqP9uWTG1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y QqGvasm1w6BdL6YwswHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yeC/94fObwlUhTexbr1/I RGrpgjNq8cahpdvJak2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3U bJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5 LptRRT1iikIKiQ5/XnUhMJ+g61UrgyvqRxizYHIb4+YL+Z+c6HHcN8GWWZMUMRcWipcCY28d YsPCO8BMP5GoYn9vVwOqga1CgqtBOPqzz9HmGX23agg3OQnFwHNwQstH84OsHvKq9X5LqYTU eGwzKnN0zrDdfZW1i376IjOaR0hve+DXbZufsXNzkkvEhrJjk2Kpoz/PjOVzf4Bs2aB7+d5U ++klmEopR1rrDe12scslpfGhpgTyl3c+yh03Jg5KN+4RkB0fdOpDJVdujyHOoZ1XM4uX31kt Sg6xLAEupO2fzYHxZY5yxDQd/CKd4qF7BL9WOuSLzp2hHRoc6+xiRa19Eiv0Oz8Vs+s3VZLq CpFiNjMuWoX2xzd8MiLUvR9/ka92TaPygDc8ftILlwzlareLZMq370+loILvEjeECL7ml/6g LKSe0gr4OSk9f7rbqjiq5KSL4N4lB3yPrgzlsG6AOk1MxQCUm2V9OmyyLHj80j0T69Eg/Eoj qXUtY7VKMsAqa63BgJZz4Uu5A2iAzqjzdsUg3cHLFxAdR+JgYXlJVLDLfblBvmlmVusii1kx /XeM73hHJrNKn/Dna/gfLZl8U5czwUyzNBC655KFr0NOuz8WknqtNzEFBM5PRa0z/7mCNV7y IweRXqCDrKXPa7Qq1OE++YiLuaWaIMLojrxNvwo6vD2gX88g1AdfK2p3ZUNaHC/G/RrO1mZY XryjdcGC2sLvws+TOnviFKcSz5TYmy9X6Q65jwgFIKpE4PDSZ6xj7yG2Se3B4VWaXpcClCNC nfkbYuEW+0UZCKUOcBuiiYEWqS5S489yRGusxf3x6d/IurO5iIYrY7j1MRy5+DLiR4y8iV0A 92B3GGJUmF7hXgFRyQ23aB6uUxy0E2P0al+g/xCFNxc/elFUgkgNc2U8+svANfrHwnFY92hS VC8Q9zgDyt1Btk22pwHZUB6BtOpgxXO2TaxK7MUjLeMGYYv/6fV3ny3LMF4mFjc06x0s1mnR YN9NGiji7R6/g7VT9rVk0ie0bSrcKERxivE8mGr0WeKsUpfVUtoWL/ERjYRfB2F/pzC+kreQ ur2WvwcOQxbxJvaQkMrQtjgjFEdAezmJMybeGWp3WG5GRePwLqIKovsYWQUmivHWwAfiw5G2 3GAOEAlAzu55XrEBWlyFV/oJVHt9OxzsnaySEkc0wyOYkZm0v+t8wQUnrqSUaBbxaoK7R8os C48B1Ohx5TTAtuEqRBmefBAYd46pkVG0GfUrQl0OJqIM61mi1UZdkFvtlnvzFN5ENYIitAk+ VUtygc6MqeEyBVBejefiIj3IaHSI3Lu8QqHebbM3UHPiYzOvKoJ8+h+pU+LUBiBME0k/j0n1 tBU1yDZ/ZDWFE8JVoq3VE8r9h98rrWcYy8n5oqS22c+ea+z+iTP3d4kHo5Hgl6pYstfPaWYF QTzD9xSBs6gL/YvkkSoaRRMNf5b9ao9NcerP/Wc36vjMOFllTOgxWNJheI1ml6M+i06WO/N2 psfxvie2CObWjPxh1Ck99j+g4FfIz8IXyK+xSXiGI9Nd/hqZ49YbAXma8azx9h4m9vsQysBr wHlXgJanpXvIEvJPDmflUVK2E8aoGKqg369xj1wyHQyq7aHmTfJ26LkfQYGPWhCQC9ji03tK M66lYN/PgDgYg43mR+i/Uu/ybJcofE1M2neRgFafi3zIntnW622nqaPZ8NE75ZtqSxNUf/6b 0rQGduf61MKljjuGWdT3mVxazGnvdPrnhl/hXiYJXB1hGbUfcx7whKa/NXGROUX0CBMF0waw XHHQ1O7Odeu59CdkZzO5/u/W2yWXZpWaSD3zImEuUNX/EVSCAak17C2k9zjSk0h1DPjksJtT WPOpQr9ZY/i0+K7N/hmdw9mHg20581/E4B42ow+4fNYkWQai5LT73sClGrpNNxd34riYX4AT jkOhsbc+gn+nkN5Zn6E3IP2UHyBz9ApPoLlJDpHhmRnqZkbU++d99km1WNtr0C9rB7NbPQ1h TobxfY0qTYbj+wPpAsx33CYC7EWE1NfOH+knBCJ4tai6aRPMT/0Lv7phRY4x5b4XerRx2MUE Gz0cZojAyJqu8B2MVaXlWb29pmhY97IK9QaqhyTlR7EyelTMpM40PQQ1k8FcSrwu2Moz+kjg Flgx5a/6cKbK2hqurC4BxtVLDj8YcU75jzpgK1Zm4OO1pquBdNvAH9YOfmgBeLtCz8Uufn9Y kySEDA77GWaHL/SBwqW7kFOs3/LHpusMjSPLWMY1pNsXlPOQS4XyBBRVzI8kJkjEwmsz8G0a 0Z16Aca4VvgowdNwOZlZFHvF33SrwCyZnIoWYCSeVBIuxpa6R6fYqn8pqpjWjtV9Zq7oEmRJ 3yHMk5WWHoRVBXMBki/bOD1up+ZorTeXKznfqGJOu3ry6QWVu/Wl8j3itI0oWjUZJ7UZncwV a9p0RIEBConU8XBx2dWEHNRznORKZTd+ErZmGU/r9jhoq6zAFu9u9XXWeAJads9oULk26vLN vbM1n8idnABh89KnzmRk+hYhwd36WkmdiHzQ+5Y7XefEvyIyPQMVxBJMXEhZMIPtvhjlghVZ ZyC24izi+M+16duTQ0cDDmD0omofZBYejDmcg6aQh/Sb/LcfGWDwtmrM/rtEvsN0aMN7kb24 2/AWxjqOjDJ/9XwfzaoN+wEzCSSPRgF/Zq4bg4oEm/7CtTvdhy8NtZzyzww27w9wH3QZyYaN nBnfkVBo6f1j2sQi+hjG2FH8ntuLPWV0yef4e7CL58KsPxtSi1qnuNe6X4+xvNb9iZBDPByn SLTqJZprTTE2qGXzSF7VRNVtjtRrJCTp0JyKPyDrt9NX23YuhwXrC2RBxkMu9p5G4jvtqRXm b2t3Or4LDZP9c6R/NNJXpOLbpvWbDx7d0O4Q22xbkNNVzOgOGDBilYIlfiT8ibQtZ0mst33n 4JITLZHVVszH/dcC0J/HdVELo0kO1Fs2bOdksMM4mKz6RfLQ8AP9IzHW/XUE/TqLTuDiLBCY TMUzLf1JoMWc5XywU15LFdg1teveQKYTZVWryttYxVh6l1K62R7R3Yv1ljNeBu3528CTKTs2 BMwkRc4b/5np1KOqx8nY1HNoiU3ikw4n97o1CuQfDDGJ6C1RYhKCiDwuiDZ17vnTgJ4Zgq32 FRtLjbfAbxL3eMInYFDmhfGvoteQKQEC6BCewNWy+vFP53APnxApyGqzkhCoPPME5p50gUwI 8fEkg==
- Ironport-sdr: 63c69790_+R9UkQStF0jY79GOxgSNMIFci9REFJDb/d2IBWGK/vAuKsh dVk17mIS6bMSG9AmOKmiiNJZzj+UOjgzflYcO3g==
Dear Coq community,
On behalf of the Coq development team, the release manager of Coq 8.16, and the Coq Platform team, we are happy to announce the immediate availability of the Coq Platform 2022.09.1 release.
Release highlights:
- The latest version of Coq has been updated to 8.16.1, which fixes critical soundness bugs with previous versions, and brings other improvements (see the Coq release notes https://coq.inria.fr/refman/changes.html).
- Many new packages have been added. In particular, Itauto, mathcomp-algebra-tactics and mathcomp-word join the "full" level, and MetaCoq, Bedrock2 and Fiat-crypto join the "extended" level. See https://github.com/coq/platform/releases/tag/2022.09.1 for the complete list of additions.
- This is the first Coq Platform release which contains a macOS "M1 / M2 / Apple silicon / ARM" DMG installer.
The main supported version is Coq 8.16.1.
Several compatibility versions with Coq 8.12 to 8.15 are available, including one for Coq 8.15 with a package collection that tries to be as similar as possible to the Coq 8.16.1 pick.
Installers for Coq 8.16 and Coq 8.15 with the newest package collection are available for Windows, macOS, and Linux (Snap).
You can also install the Coq Platform using opam-based scripts, which give you access to the main supported version, as well as any of the many compatibility versions.
To learn about the Coq Platform and get access to the installers, please refer to: https://github.com/coq/platform/releases/tag/2022.09.1
- [Coq-Club] Coq Platform 2022.09.1 release with Coq 8.16.1, Théo Zimmermann, 01/17/2023
Archive powered by MHonArc 2.6.19+.