coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Pierre-Marie Pédrot <pierre-marie.pedrot AT irif.fr>
- To: coqdev AT inria.fr, coq-club AT inria.fr, coq+announcements AT discoursemail.com
- Subject: [Coq-Club] Rocq 9.0+rc1 has just been tagged
- Date: Fri, 24 Jan 2025 13:54:27 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pierre-marie.pedrot AT irif.fr; spf=Pass smtp.mailfrom=pierre-marie.pedrot AT irif.fr; spf=None smtp.helo=postmaster AT korolev.univ-paris7.fr
- Ironport-data: A9a23:2j8XgqPTchFSuXzvrR1vnMFynXyQoLVcMsEvi/8bNLWO5Y4Qp0pHm zx/LgnpOreNa2D3CNl3Hvm/hzsFypGn0IcgGzLYnlkwFCwS9cbIVd3IcU76bnLDcsGeQkw2s p1BZNPLcJ09HiCG90ejb7O8oyIl2KiGTeanUOWeYyshHlY7RHss1Eo98wJVbvaEpPDga+/ak Y2p/Je31CaZ5gNI3gv5i8tvwjtIpPn0gBwgiUc/avZCoELEmj8cF5l3ycqZInCiHdRaE7flH L+TkLrj8jOB9honUo3/nub2L0dTHLePM1WFg3AHUPOrjhVL+nVugv5rPqcVNh4J0T6ExYF7k L2h2XDIpSIBZ8Ugz8xND0Ew/1hCAJB7FJ/7zVmXv5bCxRfMeSblmqRkXUg8Z9IRp+snXjsXq 6VHITwDNECqirPtytpXaME835V5dJGD0KA34yw7k2mBVZ7KZbiZHs0mMPcBhG9YavhmRKqYP YxDAdZWREyoSwVVPVsKA44Jku6th33uGxVVs1v9SZAfugA/9yQvluG2WDbpUobSH5gNxxzE/ jiuE1nRW3n2CvTPkVJpzVr33ocjrQujMKoOGbux8OJdgVH77gT/3zVLPbcTiaDRZn+WA7qzG WRMksYdhfRaGHiQczXId0bQTEhoEfIrc4E4/+USsGlhw0dPiuqTLjBsojVpMLTKuCKqLNCDO 5Dgc97BXFRSXLOppX21+ay1lBS3MiovNjUEPw8bdhUezcSkr9Rm5v7PZo4L/K+djdrvHjX93 XaXqikgwq0al88QiOO15zgrgRr198SPFFNpoFuOGDv+vmuVZ6b9D2CswUDa4OxaIcOcR0OAs T4clsSE6/wmDIuMmmqDWo3hGZnzv6rVbWeF2gUH858J9Ti/+nX8LZlq3DRMBWF5MMg+Yhiyf xqG0e9WzMYPbSr1PfAfj5iKI88t1O3rEcnvfuvFa8JHJJl3bg6Oui90DWab2HnhnVYEirA6I Z7dcMC2DH9cB74P8datb+Qay7gvyz542GXSW9Xjxg6myuXYamT9pao53EWmYfsY1YSBqwfv6 IxZbeuV8AtEfvC5bXyCmWIMFmwiIX8+DJHwjsVYcO+fPwZrcF3N7deNmdvNnKQ+xcxoevf0w 52rZqNP4HTF7UAryDlmiFg8MNsDvr4m8xrX2BDA2370gxDPhq70ts8im2MfJ+VPyQCa5acco wM5U8uBGO9TbT/M5i4Qa5LwxKQ7K0/021/RZnb8P2hhF3KFe+Av0oG8FucI3HdWZhdbSeNk8 u3IOv7zGMJeGVs8XK46ltrzkwno1ZTipA6CdxKUc4gMKBqEHHlCMSH3h+M6OakxxebrmFOnO /KtKU5A/4Hl+tZtmPGQ3PDsh9nySYNWQBEFd1Q3GJ7qbkE2CEL/mtcYCI5lvFn1CAvJxUlVT b4FlKGgbaJcwwoiXkgVO+8D8J/SLuDH/9dypjmI1l2SB7hyIuI+fCu1zoNUu7dTx7RUnwKzV wjdspNZILiFcoetWlIYOANvPKzJ2OA2iwviy60/AHz7wytro5uBc0FZZCeXhAJncbBaDYICw MUagvAw1TCRsBQRH+ijsjF17EWJd3wJbLUmvMoVAajtkQsa9WtBap39VA7z/I+EboRXAHkbP zOr2bLOhu1D93rga3EhHmX/28tcob8suxl66kAICHrUu9jCh94xhAZw9xZuRCtr7xx36cBBE Uk1CF9QOoOl4CZOuMhPe0uOCjNxLkSV1WKpwmRYiVCDaVejU1L8CVEUOMGPzRg/yH1ddD0Kx 4Oo4j/pfhiydf6gwxZof1BursHiatlD9gfivsSDNObdFrkYZQvVuIOfVVAqmTDGX/xo3Fbmo NN09tlecaf4bC4cg5MqArmgiIg/dkq2G3xgc9pAooUyAmDuSBOj02OvKmewWP93Cd7kzEuaM /Fqd+VzD0mQ9SDWtT0KJ78+E5ktlt4T2dcyULfKJ2kHjrihkgRUoK/grijTuWt6bOhtwOAcK 5zQfQ2sCma/p2VZsE6TodhmOliXW8glZgr91dCX6NcISpcIscB3UEQIyrDvlW6kAAhm2BO1v Q34eK7dydJ5+7lsh4fBFqZiBR2+DNHOCNSz7wG4tupRYeP1Mcvhsx0frn/lNV90OYQ9dstWl 7PXlvLKx2LA4agLVl7Gl6m7F6Vm4du4WMxVOJnVKFhYhS6zZ9/+0SAc+myXKY17r/0F35OJH zCHUcqXccIZf/x/x3cPMihXLEs7OpTNN6zloXuwkuSIBh0jyjf4FdKA90LyTGRlZyQNaozfC Aj1hq6U3epmjr9wXT0KO/I3JKVDAg7HebAnfNjPpzWnHjGWolediIDDyzskyx/2U0ehLuirz 67BdBbEcDaKhJrp1/Bc6ox7gQ0WBi1ygM42ZUMsxOR1gDGbUk8DKfUUDqQbOJd1kwjZ9pLxV BfSZkQMVAT/WjVld03nwdLBBw2wOM0HCu3bFBcIoXyGSn6RKtubIb1D8ixA3S9HSgH7xrv6F eBEq2zCABeh57pIG8AR36WfqsV6zKr4wnkoxxjMo/bqCUxDPYRQhW1TJysTZynpCMqXqV7qI 1IyTmV6QE2Wb079PMJjWnxNEiEiozLd4GQ0XBiL3ergld2X/M9YxN37HtPD4LkJQcAJBbwJH FfcZW+G5UKI0X0y54otnf8UgpFPNPHaJfjicZffRjATkZ/puy5jd4kHkDEURc4vxB9HHhmP3 nOw6nw5HwKeJFoXxLSSzh4T9olsVm4XSQvElxP7uSSMhClRIwI1oPR25FmTxVDMR6nfU4FwQ zAIa0KcvRuLsjr64CF3rPUA+RqJG6n90JUCvj8AFvvPftWEEQex14yNF2k7zdNftnNermmRX LjEyM0zoepLQQvWtz0JX74ljnxPrq0AFEINkdcFOf6t+sSYjOvGTjpyFlp2osv+T/27tZTtH /A/s2DiND8=
- Ironport-hdrordr: A9a23:roPZRqqoa2Nfj0PgAfcamwMaV5qieYIsimQD101hICF9WtCEkc q0jO0HvCWE8Ar5K0tQ/exoWZPwOk80kKQY3WB/B8bAYOCLghrPEGgA1/qB/9SDIU3DH4dmvM 8KGcURaeEYZmIK9PoSjjPIdOrIjOP3lZxBCorlvg0dMD1CWuVF7wJlBh2WHyRNNXU2eqbRy6 Dy2uN34znlc3UUasy6Az0oWPfOotvTjZ6OW295dm8awTjLjnej6bz/Gxicmi0VVShCqI1SgR m3ryXJoqbmufC4zhfd0ivo8pxKhMGJ8KowdbmxtvQ=
- Ironport-phdr: A9a23:q/5d8BPVE/8dF6Z7b80l6nbVBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvqwr1QCVFtmGsLptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmTaxe65+I Re5oAneucQbgYVvIbstxxXUpXdFZ+tZyWR0KFyJmBry+tm+94N5/SRKvPIh+c9AUaHkcKk9U LdVEjcoPX0r6cPyrRXMQheB6XUaUmUNjxpHGBPF4w3gXpfwqST1qOxw0zSHMMLsTLA0XTOi7 7p3SBLtlSwKOSI1/H3Rh8dti61VvRWhpwZjw4HKfY6bKORxcb/cfdMCW2ZKQ8JdWiNdDo+5a YYEEugPMvtCr4TlpFUAoxSxCgeyCu3v1zFHmmT73aIm3+k7CwzKwBIsEtAIvX/JrNv1LqASU eWtwafSzDXMcelW2S3j54TRdR4uu+uMXbNufsHM00coDR7Kjk+XqYz5IjiY0fwNs2mF4Op6T +KglXcrqwRrrTi1x8cjlJPFhpoLxV/Z7yV5x5o1KMa5SE5hYN6kHoFcty+AN4ZvRM4pXm5nt jogxLIcpZ67YDYFyI4hxxPHb/GKfIiF7x3sWuqPJTp0mHBodK6+ihqv/0at1vPxW8uq3VhEo SdIkNfCum4C2RHd5MaJRPpw80a91TuRyQ3e6edJKl03m6rDM5Mt37o9m5UJvUjdHiL7l1/6g a6Lekk+5+Sl5efqbq3iq5OBLYN4lwDzP6s0lsG/AOk0KBUCU3aG9em6ybbu40n5QKhRjv0qj KbZqo3UJcUap6GnGwJZzoAu4AulATi8ytQXh3wHIUpFeB2Zi4jpPEnDIPP/DfelhFSslClkx +7cMr38BJXNL2bDnK75fbln8U5cyREzwNJF65JaELENOPPzWknvu9zEFhI1Lgi5zun9BNlj1 o4TVniDD66EPK/IrFOF6OEiL/GJZIAPuTb9L/Yl5+TpjX88gVIdZaip0oUNaHCiAPtqOkCZb mD2gtcAD2gGpBI+Q/L3h12YVj5Te22/X6Mm5jE6BoKqF4nDRpq1jLyHxyi0BodWaXxeClCQD XfocJ2JV+kUZCKIPsBhiiAEVaSmS4I5yR6usxb6x6N7IerQ5y0Xronu1MN15u3WjRE97yZ4D 8Wb02GXTmF7hHkERzEs3Kxnu0xy1k+D0bRkg/xfDdFc+/RJUh4nOpHC0ex3EMvyWwLEfteRU lmqWNSmATcrTtIw2dACeUh9G8/xxizEiiGtGrMYiZSKAoY1++TSxTy5LMFkjn3CyaMJjl88Q 8IJO3fizqV47kvaAYjOjkOSmqOnc7gH9CLM72yE0HCVsURRUQo2WqLADl4FYU6DldX0/FnPC pqnE7UqejPAxdSFNuMectzkl09LAfLqItXTJXq8l323GT6J3LKCKoTwLTZOlB7BAVQJxlhAt U2NMhIzU3v5y4q/JDlnFFa1Jljp7fE7snSwCEk90wCNaURlkbuz4B8cw/KGGLsIxrxRniAnp n1vGUqlmcrMAo+Ypgd7ZqgZZNon4VoBzW/VrQthFp26Lq4kiERNOx9vsRbW3g5sQp5FjdBsq XoryARoLqfNyFJMbSmVmJX5ILzabHH/8Aqod4bXwFDQltiMqe8U8PptjVLlsUmyE1Y6tXVq1 94Ay3yH+pDDFxYfS7ryVVww8xVk4azcYzd4/4rO1GYzd6eu2tPb8/QuAuZtihOpftMFdbiBC Be3CcoRQc6nNO0tnVGtKBMCJuFbsqAubYugcLOd1ainMfwF/nruhHlb4I17zkOH9jZtAu/O0 ZEfxviE3wyBHz7ihValu8rzlMhKfzYXVma4zCHlAsZWaMgQNc4TCGq0OcDyw9xkhpOrQ3NU7 lm/L1Ic2cHvdwDTJ13x0AtM1FgG9GS9kHjdrXQ8mDUoo6yDmS3Wlr2zKFxdZzINGjAk1Ay8c u3Wx5gAUUOlbhYkjk6g7Ef+ne1AobhnanPUSgFOdjT3KGdrVu2xsKCDaohB8sBN020fXeKib FSdUrO4rQEd1napB2pT3io2MjSjoJT02QR3hHiaMF5ytnvXP89qj0S6hpSUVbtK0zwKSTMtw yHWC0KmMpys9M+VmtHbv+ykUH6JV4dSf2/l18nT0UnzrX0vChq5kfepn9ThGgVvyi732e5hU iDQpQr9aI3mv0ijGdpuZVIgRFr16s4gX5p7jpN1npYbn34TmpSS+3MD12b1K9RSn6zkPjIBQ jsCwtid5waAugUrNnOE3Zj0E3CU2MpsIcG3bnkRxgo89cFETqmOpLBJhip6pFOkoBmZOKkh2 G1Alb1wsThD2LFBsRFIrG3VGr0IGEhEISHg3w+F6dyztuQfZWqid6SxyFsrmNmgCL+YpQQPP RSxMpwmHCJ28oB+KAeVgSG1sNy4PoeJK4tI5k7x8V+IleVeJZMvm+BfgCNmPTi4png506shi hco25imvY+BImEr/aSjAxceOCemAqFbsjzrk6tamd6bmo61GZA0UC0KUYHyQLetGSgTuLL/O gqUFyEUq22aF/zRB0XMjSUu52KKCJ2tO3yNcTMBzNh4XhTYIUVFgQ1SRDg2hJklPgGwxcKnf l0ztVVzrhbo7xBLzOxvLRz2VGzS8RypZjkDQ5+aNBNK7wtG6hSdIYmE4+l0BS0d4oy5oVnHN DmAfwoRRzJsOATMFxX5M7Kp/9WF7+WIGr/0Ma7VebvX4elOH6CBwZblumd/1xCLMMjHfnxrD vlhn1FGQWg8AcPS3TMGVy0QkSvJKc+dvha1vCNt/Ii597zwVQTj6JHqafMaOMhz+x2wnaaIN vKBzCd/JzFC05oQxHjOgLEB1V8WgitqenGjC7MF/SLKSavRnOdQAXt5I2trM9BU6qsnwgRXE c3ckNTx26A+k/g0FRJdXEbggZ7va9ZLa2CxOVXbBVqaYbSLITqYpqO/Kai4SLBWkKBVr0jp6 GrdSRK/eGra0WCyB0PKU6kEliyQMR1AtZvodx9sDTKmV9f6clihN9QxizQqwLoyj3eMNGgGM DE6fVkey9/YpS5enPh7HHRMq3R/KuzR0T6Y4vPCJ9MTuOFqD2Jsmu5A52gSyqFU4mdKXrYm/ Uma5s4ruFygnuSVn3B/VwFSrz9QmI+RlUZlI6Ld+4cGRHDF4lcV5H+REEtMqcEvWbiN8+hAj 9PIkqz0MjJL9dnZqNAdC8bjI8WCKHM9MBDtFVY87SMGSiSsMWzBwVFbke/X7nSPr4Nl7Jb2y sJmolpzVUY0GLUUEBY9dDTtCJZtXz1in6TJ1aY1
- Ironport-sdr: 67938d89_63EYcqPrOCrWYF7oHWy0fKpVWOyybZZ/xDvIXmI7iPunB16 taZFxrPBqVTTpUGxdiJfeU+dFYZNVoMhIol6GYg==
Dear all,
The Rocq 9.0+rc1 tag has just been pushed. As per the release process,
package managers can start preparing package updates and library authors
can safely start preparing compatible releases.
Thank you for your attention,
PMP
Attachment:
OpenPGP_0x7922C01FD9BA3C7B.asc
Description: OpenPGP public key
Attachment:
OpenPGP_signature.asc
Description: OpenPGP digital signature
- [Coq-Club] Rocq 9.0+rc1 has just been tagged, Pierre-Marie Pédrot, 01/24/2025
Archive powered by MHonArc 2.6.19+.