Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq Platform release with Coq 8.20

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq Platform release with Coq 8.20


Chronological Thread 
  • From: Pierre Roux <pierre.roux AT onera.fr>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Coq Platform release with Coq 8.20
  • Date: Mon, 14 Apr 2025 16:42:29 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pierre.roux AT onera.fr; spf=Pass smtp.mailfrom=pierre.roux AT onera.fr; spf=Pass smtp.helo=postmaster AT onera.onera.fr
  • Ironport-data: A9a23:w9KUZ6paSCb9k5wERCjzpzLt8K9eBmJZbhIvgKrLsJaIsI4StFGz/ 9cnaN20SrzTNTykP5w0PZPnthk2DaWlzdIwGgY//CA1HntHpJKZW97AJRv7Mi3JJ8PIR0494 ZxBO4LMcZ05FnOBrBrzOOK8/SEjia+DGOOhUOPJZHgqSWeIJMtZZTdLwobV1aYx0IXR73qxh O7PT+3j1H6NhWZ5bTpO4ane+Rk24qyptmpGtAVjPawTsg7QxykfV802KPDqJRMUYKEER7/gH 76rIJKRpz6CoU91UrtJtp6hLyXml5aLZVDmZkJ+AvTk2F4YzsAL+v5THOIGbktKgCm+kdl0y dFc3bS9Ug5B0pfkwYzxaDEGVXgjVUF60OWfeyXn7ZXPlxSun0bEmp2CMmlmZeX0xc4sWQmix dRAQBgRYxaKgf6Bwb7TYoGAUex+RCVDFNp3VkBIlVk1P95+KXzwa/miCetj4dsFrpsm8cAyy CYuQWEHgBzoO3WjM7qMYX40tL/AanLXK1W0pL8JzEaeDqe6IAFZidDQ3NTpltOidNoFnVSal 2D/53n4AVJDc82E4AuJ2yf57gPPtXuTtIM6E7u17Pcsh1ue3GVVBgd+uVmT+KXlzBTmB5QBd gpIksYthfBaGEiDVtjwRQe15mSDow40XNxdCeR85hvlJq/8uV/GWTlbHmIdADAgnMIcRg4l2 nCkpdzgPx5xmYCeU12fy57B+FtePgBOcDNSPn5YJecf2PHop5h2hRbSRP54Aauth5v0Hyvxy naEtkADa647isgGzaz9+lbKmTvqqIKhohMJChv/b3317RF7VYycf5Gp6huCqudbBbeVZwzU1 JQboPS24OcLBJCLsSWCRuQRAb2kj8pp1hWG3TaD+LF6rFyQF26fQGxG3N1pDGlTWvvolBfuZ kLJsEVW4pJJNT2kd8ebgr5d6ex0lcAM9vy8CJg4i+aihLArKGdrGwk0NSatM5jFyhRErE3GE c7znTyQJXgbE7976zG9Wv0Q17Qmrghnmj+PGM6qlk77iOfGDJJwdVvjGADXBgzexP/YyDg5D /4EXyd340wECbWhOEE7D6ZPcApVRZTEOXwGg5cKKr7Yc1YO9JAJDPHfwLgsM4psg6VSkO7Mt n3yV1NFxFfkzXDbYQmHImpuY7PiR51/oDoyMDYrJk6hx3kqZe6SAFQ3LPMKkU0c3LU7l5ZcF qBVE+3eWa4nYmqcpFwggWzV99cKmOKD3lnWZ3LNjflWV8IIejElDfe9L1C3pHNWV3rr3Sb8y pX5vj7mrVM4b1wKJK7rhDiHljtdZFBMxbIgbFiCOdRJZkTn/a5jLiG73Ld9INgBJV+HjnGW3 hqfS0VQ7+TcgZ4HwP+Qj4C9rqCtD7RfGGheFDLl9rqYD3TR0Vei5o5ia9y2Ww7heln6w4iYX tUN/crAaKUGuH1or7tDF61ayPNixtn3+J5f4AdWPFTKSFWJFLllHGi35pRKvaxs3Z5cgxO9A WiUy+lZOJKIGcLrK0EQLwwbdda+1ekYtz3RzPYtKmD42XNHx6WGWkBsIBW8sixRA79rOocDw +16msopxyGgqxgtaPCqszt18jmSE3k+TKkXjJEWL4v1gA4NyFsZQ5j9CDfz0a6feed3LUgmD T+FtpXs340G6BL5TEMyMnzR0c52p5cE4klKxWBfAWW5oIPOg/tv0SBB9TgycB9u8SxG9OBOI UluCVx+IPSf3jVvhfUbZVuWJSN6OES79HDymnwzr0+Ia2mzV2fIEn8xBvbVwmAd7FBnX2Z6+ JO29T/bdAjELeDL4zsKeE96qvbcY8R72S/cleuGQcmUPZkITgD0o62pZGBS9h/sBO4sjheao eJv0ftCb4z6EQUyoKQLLZaQ+ppNaRKDJU1EGepA+oFQF07iWTiC4xq8AGHvRdFoONrL7l6eN 8xiAultRiaO/n+CgR5DDJFdPoIuuuAi4eQzX4/CJEkEguO5lSVoupeBzRrOrjYnbPs2mPlsN 76LUSyJF1GRon5mm2Xtis1gEUjgaPkmYDzM5syEwN8rJbki7t41KVoT14GqtUq7KAFkphKYn D3Sbp/sktBN995eoJvOII5iWSOPNtLBZMaZ+luSsvNPT+/1H+Xgigc3kmTjbiNqZeY/etIvj rmcks/F7GWctpYMbm3psZ2gFa5I2MaMYNRqIv/HdEd9oy/Td/Lvsj0i+n+5I6NniNlyxNeqb CrmZdqSdew6YcZ8xnpUYXIDFx0YJrnFaIbhgQifrP28LAcX/iKaDdGg9F7vNXp6cA1RMbLAK wbEgdSczfEGk5ZtXTgqX+pHBb18K3/dAZoWTcX772SkPzP5k2G8tavHvjt+zzPyU12vMtvwu LDBTTjALCWCgrnCloxlgtYjry8sLShPhMcrdRgg4P9wsTexCVAGIck7MZkrDpJ1kDT45KrnZ QPiPXcTNiHgYQtqKRnMwszvfgO6NNw8Pt3UIj8I/UTNTwyUAIiGIqVq9wY+wnNQVwbg8tqaK oAlyiWtBiSy/5Bne79CrLjzy+Jq3ejTyX806Fjw2Z66SQoXBbIRkmdtBkxRXCjACNvAj1jPO XNzf21fXUWnUgTkJK6MoZKO9M0x51sDDgnEbBtjBP7YvYiBxatHzvDlMqf9yNXvqewUcaUWS yqfq3SlugirNr474MPFeO7FRYdzD/+RF460NscPgCUMyrqo5D1P09wqxEIyoQJLxOKbO1Tbm yOlpXYkbKhAxIa9x5XOoTg0F1lNvr7gwt0HYMMTZdMLrPDh8+XkRg==
  • Ironport-hdrordr: A9a23:iT0XQ6DR/3ZN70DlHenJ55DYdb4zR+YMi2TD83oBKiC9E/b5qy nApp4mPHPP5Qr5O0tApTnjAse9qBrnnPYf3WB7B9iftWfd1FeVEA==
  • Ironport-phdr: A9a23:JW98EBHAolVSD9xgVC9qF51GfyRGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21hmRBc6BsaoU06L/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezf79+N gm6oRneusUIn4duNqU8xgfUqXZUZupawn9lKl2Ukxvg/Mm8+4Jt/TpNsPw77c5AVqv6f6U8T bNGCTktLn446s72uxTdVAWD/nQTXHkYnRpOGAjF8Qr1XoztvSvgt+pywzeVMMvrRr0pQzui7 qNrSBj1iCcbMjMy7W/ahtBsgK9dvRmsoQF0zYzJb4GPLPdwcKPTc80HS2RCUcleSzFOD5izb 4cTFecMJ/pUo5Xjq1YIsBCwBROsBOTqyjJQnHH23LM10/47EQ7YwQcuA9UOsGnbrd7oM6oSS eG1w7fSzTXZcfxawy396I/VchEuuvyMWrRwftTLyUY1DQ/FgE+QpJXjMjiI2esDr3KV4PB8V eKzlWEnsQdxryCyy8owloXEiYwYx1LZ+ChnxIs4JtO1RVJ7b9O4DJZcqS6XOol5T88/Xm1kp js2x7MHtJO1YSQG1ogryhrDZ/GHdYWD/xztVOGUIThihXJlfqqyhxmz8Ui8yu38S9K73ExWo SpCl9nBsG0G2R/L6sWfV/dw8Uis1SyR2wzP5exIO0E5mKrBJ5Mu2rI8i5QevEvZEiPohUn6k rWaels69uWn8ejqYbfrq5mBPIJqjgH+L78umtChDuQiLwYOXmma9vqk2bH/+0DyXa9Egecsk qbDtZDXPcQbqbC9Aw9Syosj7BC/ACm80NsCh3UHK1RFdwydj4fzIV3OLur4Ae++g1Sqjjhr2 +jLMqDuD5jCNHTPjqvtcLln50NdyAc/199S64pRCr4bIfLzXkHxtMbfDh88KwG02+fnB8tn1 oMER22DGLWZMKTPsV6H/e8vJO+Ma5EPuDnnMfQl6eTugWc/mVAGZaapx4cYaGikHvR6JEWUe Wfgjs8bEWgWpgo+UPDqiFqaXDFPYHayRrsw6S0/CIK7FojOXZutgbyE3CejBJJafGFGClaWE XfpbYqIQfkMaDjBavNmxzcDTP2qT5Ir/RCorg7zjbR9fcTO/ShNjZPuzsJ4r9fUiAF6oSR1A t6H3ieXSHxktmQOSiU/mq5l9x8ugmyf2LR11qQLXedY4OlEB19S3f/0yuV7D4q3QQfdZpKTT 13gRNy6ADY3R9Z3wtkUYk87Fc/xxgvb0X+MBLkY36eOGIRy6rjVimDwKtxnxjDc07Qxp14gT 9FGc2O81eZk7waGP4fSiA2CkrqyM6EV3SrD7mCGmHKPsVtCXUhqVrjVdXcZa1Hf69rjtQvZV 7H7Mb08KUNazNKabKtHbtq8lVJdWPLqI8jTeUq2nWqqDFCPwL6WZczkYQ3xxQ37D04J20AW9 HeCb00lAzu55njZB3poHE7uZEXl9a9/rmm6Rwk61VPCaUopzLez9hMP4J7UA/oOwrIJvjsgo DRoDR682dzREd+Juwtmeu1Vf9o85F5N0W+RuRZ6O9SsKKVrh1hWdAoS3QumzxR6EJ9N19Its WMCywx/M6ve3kkAPzKU0JbsO6HGf3Ho9UPnYKrX11fCldeOr/5TtLJi8wml4lzvShlHkT0vy dRe3nqC64+fCQMTVci0SUMr711goLqcZCAh5oTS3HkqMK+uszaE1ch6YYltghumYdpbN7uJU QHoFMhPTdCvJfYwlh6zaQ8UFOdU+bQ9ec28PajjuubjLKN7kTSqgH4Sqph831iW+mxmTfPY9 5EDzuuRmAWdHWSZ7h/pooX8noZKYisXF2y0xH3/BYJfUaZ1eJ4CFWakJ8DfKsxWv5f2QDYY8 VeiAwlDw8q1YV+IaFe72wRM1EMRqHjhmC2izjUynSt75qaY2SXPxazlen9lciZTRWR4l1qqO 4+pn/gdWkWyZk4njlOp6F37yK5SuKlkZzCPHQESJ3SwcTwkDuO5rfKabtRK6Y80vCkyMqz0e l2cRrPn4lMb3y7lA2pC1WU+fjCutI/+mk8yg2acIXBv6XvBLJgsmVGFvICaG6MXgmljJmEwk zTcC1miMsP8+NyVk82GqeWiTye7UZYVdyD3zISGvS/95GtwABT5kerg/7+vWQU8zyL/0MFnE CvSqxOpKJHq2r6gPKR9eVR4LFj65tBzXI9k2NhV5tlYyT0Bi5OZ8GBS23/yPM9B1OTka2cdb TkNzsTcpgb/kh4GTDrB18fyUXOTxdFkbt+xbzYN2y4z2MtNDb+d8L1OmSYm6kr9tw/aZuJx2 ysM0fZ7omBPmPkH4UB+q0fVSqBXB0RTOjbg0giF/8zr5rsCf36hKPCxzBYsxIz9Suva/kcCB TClMp5wGil99Mw5N1TBynS15JuBGpGYbMpP5ETIz1Ga17QTccx3y7ILnXY1YDmh+yd8kahi3 EQogdm7uoODNmlgrri0CQRFNyHwbsIXvDrqiMM81o6fjYW/RdN7Fz4RQZr0SPupFHQZsvGvN gCFFCAwpyWAAbSZBRWY9Epts3PIFdasKm2TI34ai95lQXz/bAQaiQQQFl3Wh7YBHxuxjIzke UZ9vHUK40Lg7wFLwaRuPgX+VWHWoEGpbC01Qd6RNkge4gZH7kbTecuQi4A7Vzlf5YGkpReRJ 3azYAJFF2hPXUqJHVmlMKPm6dTb8ueeD/azNLOXPenI87QCEanVg87n25ADnX7ELsiVO3h+E /A3klFOW3x0AYWRmjkCTTAWizOYb8Ofo0T08Sl2o8ajtfXzDVuzuc3VU+cUb4gpp0PT4+/LL eObiSdnJCwN05oNwSWN070DxBsIjCoocTCxELMGvCqLTaTKm6YRAQRIDkE7fMZO8a842RFAf MDBjdagnKZ5g+QvBhFfUkHxssavaNYDZW+nfgCiZg7DJPGdKDvHztuiK7u7UqFVhf5IugeYv jCWCUalOTKOjTCvWQrlYoQuxGmLeRdZvo+6aBNkD2PuGcnnZhOMO9hylTQqwLcwiyCCJSsGP DN7aU8IsqyI4HYSnKBkA2IYpCkAT6HMi2OD4uLfMJpTrfZ7HnE+ibdB+Hpjg7pNsHMdGKAzw nOO6IAz5Q3u1+CLznAPuPtmrTBGnovNukNvI6yf+IMSAB4sEzoK62iKAlIEvYk8YjUKk6dWx 8LG0qzpem8qzg==
  • Ironport-sdr: 67fd1ed7_0PPEz6AtSUDRtwhmUTOEZjxyHZ405oPgJKoezKXkM0JmrfX kD4Q4HZ12FEjw/1XjV4q6eyLqKZ6R9YzVR27T9Q==

We are delighted to announce the 2025.01.0 release of the Coq Platform
featuring Coq 8.20.1 and the usual selection of packages, with
installers for Windows and MacOS. The Platform now embeds the language
server for the VSCoq plugin, which should make it easier to use Coq
with VSCoq plugin for VSCode. See the [release notes]
(https://github.com/rocq-prover/platform/releases/tag/2025.01.0)
for more details.

The Coq Platform is made possible thanks to the work
of Michael Soegtrop and Romain Tetley.

Note that this is the last Coq Platform release, next release will be
renamed Rocq Platform and include the latest Rocq 9.0.

Attachment: signature.asc
Description: PGP signature



  • [Coq-Club] Coq Platform release with Coq 8.20, Pierre Roux, 04/14/2025

Archive powered by MHonArc 2.6.19+.

Top of Page