Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq Platform 2022.09.0 (including beta version for Coq 8.16.0 and a updated and extended package pick)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq Platform 2022.09.0 (including beta version for Coq 8.16.0 and a updated and extended package pick)


Chronological Thread 
  • 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 2022.09.0 (including beta version for Coq 8.16.0 and a updated and extended package pick)
  • Date: Tue, 11 Oct 2022 15:51:50 +0200
  • 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:MWdBHKLZkN1H4oHUFE+R0JElxSXFcZb7ZxGr2PjKsXjdYENShWcAy TYYCm6CP/3bZzCnL94kYIy1oB9Uv5/Tm9U2SgYd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fQLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWCfg74s9JIGjhMsfja8Eo25K6aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes1zFfUuxVPJHZSwmeCo33ftL3bN+dxNDE0SepUo1OZrIW4bo JT0KBhVBvyCr+Gx2rW/R/cqm8IiMozzNZkeoS4mwyux4fQOGMGfBf+XuZkGhXFp3ZAm8fX2P 6L1bRJzbBnHSxxVO1lRBohWcOKA2ymgK2MA+Qz9Sawf/jPZ6RFB1J7XCdvkd9eRG/lljGyBn zeTl4j+KkhGZY3AmWXtHmiXruTIhGbwXJ8YPKap8+ZjxlyV3G0aThMMPWZXutG6jVS5X99Bb VES+zRrtaEo9Vf0CNfnN/GlnJKaljInS+B7T+Ab0iiuyqbwpB6pKGgYbjEUPbTKq/QKbTAt0 1aImfbgCjpurKCZRBqhy1uEkd+hEXRFfTRYP0foWSNfv4G8/enfmzqVFo4LLUKjsjHiMR/Kq 9xghBA3nbQI5SLg//rmpQmb695AjjMvSgNw6giScHis6Ah0DLNJhrBEC3CFvJ6sz67AHjFtW UTofeDCtIji6rnWxUSwrB0lRu3B2hp8GGS0baRTN5cg7S+x3HWoYJpd5jpzTG8wbJhZJWW3P hSL5l8OjHO2AJdMRfEsC25WI5p2pZUM6fy/CKi8gidmPsghK1fbpEmCm2bOjz6x+KTTrU3PE c7HIJfzXSly5VVP1jewTvsQy9cWKtMWmwvuqWTA503/i9K2PSfNIZ9caQvmRr1nsMus/VuEm /4BbJHi40sED4XDjtz/rNR7waYidyZrXPgbaqV/K4a+H+aRMD17U6+Bn+h4JdENcmY8vr6gw 0xRk3RwkDLX7UAr4y3TApy6QOOwBcRMvjggMDYyPF2l/XEmbMz9pO0cbpY7N/1vvuBq0fc+H bFPdtSiE8Z/bG3N2w0cSp3h861kVhCg3jyVMwSfPTMQQp9HRi7ywOHCQDfBzic0M3eIhZMMm IH4jgL/argfdjtmF/fTOa6OzUvunH0zm9BSfkrvI/tLc0Do9axvGT3Qj+A2Ee4IOx7s1juX7 CfIIBY69M3mgZ45z8nNvo+A97yWKupZGlFLOVXb4ZKdFzjozkD6zaBuCO+3LC3gDkXq86CcV MBp5vDbMsxfum1VsoB5Qo1Z/Yhn6/TB/7ZlnxlZRlPVZFGWC5RlEHmM/e9LkoZvnrZ5mw+Ha nijy+lgG4eiGZ3aSQYKBQ8fcO68++kemWDS4dQLMUzK3nJL04TdY3pCHSunqXJ7HONuPZIH0 NURnpccyzaChyoANveEiSFp9FqwEEEQbpV/trwnBN7Etwl67HBDfp3WNQHu6r6tddhnExcnM x2UtoX4lpVewUvLQ1grJ3mQ2OFcpI8vvSpSxwQoPGW5mdvih9420iZO8D8xcB9n8xVf3893O UlpL0dQJ5jSzwx3hcNGYX+gKztBCDKd5Eb17VkDz0/dcGWFSU3PKzcbFduW3UVE7V9ZQCdXz IuYxEnhTzzuWsP7hQk2eEx9rs3cXc5DzRLDlO+nDva6McEDOxS9uZCXZE0MtxfDKuEyjheep eBVocBBWZeiPisU+6AGG42W0IoLcy+9JUtAf6BF3LgIFmTiaj2NyWCwC0SuSPhsed3O02GFU vJLGOwedi6DxB6vry8aD5EiO7VbvuAkz/tcd6LJJVwpiaq+rD1ouciB5yKklGsnQog3m8M5c KfhXTKJF2iCo2oJnmTMjdJlP1CgaoIufzzM3+GS8cQIGakcsepqT1oA77uss1iRMypl5xixr iqbQ4P3lstMkZ9NmanoGYV9XzSEE8v5Drm0wVriouZwYsPqGuaQkQEs833MHRlcZJkVUPRJz YW9isb9hh75jexnQlLiusezEodS7p+PR8tRCMX8KUdakQakWMPB5xgi+XiyGadWkeFyt9WWe A+lVPSeLdIlec9R5HlwWRhsFxwwD6fWbKC5qx3k/r7IQlIY3BfcJdyqyW7xYCsJPmUUMpn5E Unvt+zo+tlcq59WCQQZA+19RaV1O0LnRbBsYuiZWeN01YV0qgjqVnreeRscBfXjCX6eF8L3/ 9TYQBngMQy7oqDTk5dXqeSee/HR4GlV2YENkoA1oraaSAxWyEYHN+UTd5scYn2RujKnz4n2P Vkhc0N7YRgQnl14ndHU4c7iUEGRHITi/zs/yiMBpyupVst9OG9M7HaNOMutD7eatwYPFN2aF Ow=
  • Ironport-hdrordr: A9a23:HmImtqqWbD6+YzsDfV7BFi4aV5qseYIsimQD101hICG9E/bo7f xG+c536faaskd3ZJhNo6HlBEDiewK4yXcW2/hpAV7KZmCP0wHGQuBfBODZskXd8kPFh5VgPG RbE5RWOZnfCVB7iILd+wm3E9EpxZ2i/LqzjenTi1dBJDsaDZ2IIz0JaTpynSBNNXR7LKt8MJ qY+8ZdqzfIQwVqUi1zPAhmYwEdnbH2vaOjYloNBhwi4AmKyR+u97L+FQGA0n4lIkxy6IZn8i zOkg787qWn98uwzATRvlWjkah+qZ/jjtFDBsiFis1QECjllxqzDb4RKoG/gA==
  • Ironport-phdr: A9a23:WOihOB9rN19opf9uWTi3ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqEuqsm0gSBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekcq62/q89pDRYghEizuwbL1vJ xiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4U KdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84 Kh3SR/okCYHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWVOUMZfWSJCH42yc ZcAAvEdPepEtYTxu0cCoQe8CASqGejhyiVIhnjz3aAizeohERvB3As4EN0NsXTUqdD1O7kIU eCw1qbIyzPDZO5R1Dfh6IjHbBchrOqNXbJqcMrRx1MjFw3fjliJr4HuIjya2PgXvWeB8+pgS fygi3QhqwxpvzShxsMhh4fNi48Wyl3J9iV3zJo6KNO3RkN2fd+pHZROuiyEKYd7Q8wsTnxqt SsnyrMIuZy2cSkXxJkj2RLRZfqKeJWG7BLkUeaeOzZ4hHR9dbKwhhay7UigyvDnWcWuzFlKq S9Fn9/RvX4Ozxze8tWLR/9y80u7xzqC1w/e5vtFLEwpj6bXNpAsz70ompYNrUjOGjX6lUb2g aOMaEko5+yl5/7ob7n4oJKXKpV6hRvkMqs0n8yyGeQ4PRYKX2ic4em817rj/Vf+QLVOkPI2j LPVsI3cJcQauK61GhdV3Zw56xa+FDer0s4UnXcdLF5deRKHiZbmO03WLfzlCfqyjE6gnClry v3JJLHsA4jBImLenLrvfrtx80tcxxAyzdBb6ZJUELYBIPfrV0/ttNzXEBg5Phe1w+b9CdV92 JkSWWyVAqOBNqPdqkeH5vgzLOmUeI8VpDH9JuA46/L2l382hUcdfbW13ZsQcH23AvNmI1yAb XXwhtcBDHwFsxElTO3qjV2CSSRca2yzX6I6/DE7CZipAZ3NRoC30/S923KQGYQeTWRbABjYG nDxMo6ARv0kaSSII8YnnCZSEfCqTJZi3BeosxL8wLdiI+zI4QUUtIno08Vv/ODWnBA2szdzC pezyWaIGl10H2Q/dT4z2a1lpEV7zB/Xzah1hNRZD91dof1TBFRpfaXAxvB3XoihEjnKec2EH RP/Go3O6VAZS9swx4VLeENhA5C4iRuF2SO2ArgTnrjNBZou86ua0WKib91lxSPg068sx0IjX tMJLXev07J/+g/7BpTInQOXjfXibrwSiRbE73zL1m+SpAddWQ90X7/CWCUDZkbRhdXj502EQ aX9Qa8/PF5nzsiPYrBPdsWvjVhCQ6L7P8/CZmuqh2qqLRWP3LSIYZSsZmMcwmDFAVIFiF9V8 2zu2REWICCnriqeCTVvEQiqeEbw6axkr3j9SEYozgaMZkkn1ryv+xdTi+bOA/UUlqkJvisss VAWVB60ws7WBtycpgFgYLQUYNUz501C3H7YsAo1N4KpLqRrjFoTOwptuEam2xJyA4RG2c8ky RFihBZyJKWw0UlAeXWWx9G4O7HaLHXz4AH6c7TfiRnV1Neb/LtK6ext8gS/+lv0Sgx8qjM+i IkGthnUro/HBwcTT5/rB0M+9hwg4qrffjF4/YTfk3tlLaiztDbGndMvHuosjBi6LLI9eOuJE hH/F8oCCo2gMusvzhK1bh8DFOFI9aByMdnsJLOWnbWmOupthmfskWRK56h8yEOCsSRmAL2tv d5N07ST2Q2JUC35hVGqv5XsmIxKUjoVG3K21SnuAIM5irRaRY8QEi/uJsS2wo87nJvxQztC8 1XlAVoa2civcB7Ublrn3AQW215F6XCgnCK5yXRznVRL5uKD3CHJ6+X4dRRBNHQDSGR5jFjqK JS5lJhDDRTuNVV10kX8ox+hl+BSv+xnInPWQFtUciS+NGxkXqaq99/gK4ZO5J4urSRLQbG5a FGeRKT6pkhS2CfiEm1CgTEjImj75tOjwkA81jvbdS0j/x+7MYlqyBzS5cLRX6tU1zsCHmxjj CXPQ0K7NJ+v9MmVkJHKtqa/UXigX9tda3qOr8vIuS2l6GltGRD6keq0n4itDQg31gf6zdhkE yvS5kW0cszw2qK2PPgyNFVoCVjU6tB7FMdwiMFj4fNYkWhfjZKT830dlG71OtgOwqPyYk0GQ jsTysLU6gzoiwVza2iEzIXjWjCB09NsMpOkN3gO1Ht3vKUoQO+EqaZJlixvrh+koBLNNLJjy ywFx6Jm7W5S1OgNvEBFIjy1JLcUEAEYOCXtk07N9NWitOBNY23pd7Gs1U14lNTnDbeYowgaV myrMpElVTR96MlyKjeumDX6953kdd/MbNkSqgzckhHOiPJQIY4wkfxCjDRuOGb0t3kog+Ahi hkm0Za/tYmBY2JjmcDxSgZfLSHwbtgP9yvFjqFEmcKbwcayGJR/Xy0CRprzErSmCnNatPjqM RqPDCxpqnqfHum6f0fX40NnonTTVpGzYijGeD9DkIkkGkDbfRcP02V2FH0gk5U0Fx6n3pnke UZ9vHUK40Lg7wFLwaRuPgX+VWHWoEGpbC01Qd6RNkkzjEkK6kHLPMiZ9u82ETtf+8jrsAyAL USafQVGS28TEB/hZRirLvy16N/M/vLNTPK5NOfLaK6SpPZ2VPCSwpaizM17+TeSc92GJHh5U Ls1wAAQOBIxU9SckDIJRSsNkivLZMPOvxaw9Bp8qcWn+ejqUgbijWNqI7pIMNsp9Qrk2c9r1 saTgzx+LTtGkI4KxGGN0LEF3UVNzS90JWHF+VsotDTMQuTegP0OZyM=
  • Ironport-sdr: 63457504_5Dg/T9MWo4MPh+z/6Bk63abUeL48qHs4bQIa+D8PlLy1U8R amjByZNefvp1rTJJ8JbBoRwAIyU72xAubXdowIw==

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.0 release.

Release highlights:

- The latest version of Coq has been updated from 8.15.2 to 8.16.0,
with a beta package pick.

- 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.0 for the
complete list of additions.

The main supported version is:

- Coq 8.16.0 with a new (beta) package collection.

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.0 pick.

Installers for Coq 8.16 and Coq 8.15 with the beta package pick are
available for Windows, macOS, and Linux (a Snap installer, that should
be updated soon to include Coq 8.16).

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.0

We expect a new Platform release (2022.09.1) to happen in about 2
weeks, with a finalized package pick.


  • [Coq-Club] Coq Platform 2022.09.0 (including beta version for Coq 8.16.0 and a updated and extended package pick), Théo Zimmermann, 10/11/2022

Archive powered by MHonArc 2.6.19+.

Top of Page