coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: AffeldtReynald <reynald.affeldt AT aist.go.jp>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] MathComp 1.17.0 released
- Date: Wed, 10 May 2023 06:56:13 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=aist.go.jp; dmarc=pass action=none header.from=aist.go.jp; dkim=pass header.d=aist.go.jp; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=kuCNQ6v22LCc+a9x7cXLHKVW+VB0LLsDFVuanowLYG0=; b=QjBHAg/4KsCE9ZVvWcy8WmFo7BgP0+ZrAocQtL/4ERTYizPRzcnb9anidB3EXMbv70HzUm8eab5YnnQQc040avK7NC8H6ILDDC1LtMy4o6WoQFMT07Sx9ABgYc6MBVw/V1bJ+yCZgcOO+mwXemoH+u50/5aHtWV00/JVC60S918sxMq1Enm3H1zaU1/+KivA3nZqScMoUYnFRsi+/vvsi15eYD4LATLt5/X7LlJnuBm4h9p0J7TJLWftgB34JwNqd3pFUPmKBlcqDXY6NOe7oNmeZ3ubS+788CCOv+hWBUGm1fA3TKh1vCyNGajEtl6PMjw3UE5ENHNCXpLtDKD7Aw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=YQOYAm4iylW8P1ex0tyoiFAvq4OZfYPD79giSNVmcPLzVKq7We2mDFkjJTSBc7oTGnPVPlHG0Di9oml7tSpICUHddEPZHE6lJI2M0bnf4mVlTWC+adak0zXjw0TPC5iSOOen0kQwt8tlAq6YcuN+9Vhl8amnFW/hyYuyAJdPBy4Ncv8I/0JE9KOMwkCuW5U+/FQnMF1cjsFFm5e/FxMGrkEEzH5awVOQnSQefLSmn6SFrwHJ2zRe/+LQSUQywAvzm7baDDXxTsBqzQ3DI/VcFebEpkH+YpUAreCl3KIRwRCobNR/HUWS0y1Ey/8zVUaQjcfcLfibzQhzDMRLniwywA==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=reynald.affeldt AT aist.go.jp; spf=Pass smtp.mailfrom=reynald.affeldt AT aist.go.jp; spf=Pass smtp.helo=postmaster AT JPN01-OS0-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:yPpiv6z4s1e8OZYjtdd6t+dXzSrEfRIJ4+MujC+fZmUNrF6WrkUDy DMeUWHTPamNNzPzLdl0bdzj8RlUuJSGy4BqSgporlhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEALjim8c3l48sfrZ80sy5ayq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPx8dlUMWsOYrQD59lIPW5s0 PkiGgA0O0Xra+KemNpXS8FOvuJ7dYzMB9tavXttizbEEfwhXJbPBb3Q4sNV1ysxgcYIGuvCY 80eanxkaxGojx9nZg9RUcph2r7x3T+iKFW0q3rNzUYzy3Le3Qp41LSrOdTbd9iGWe1cn12E4 G3BuWbhav0fHIXHlmPZrS/z3IcjmwvbU7IpMbO93cUzu1u8lmMrAyNJX0qC9KzRZkmWAIsEc BRNoELCt5Ma/0uyC9L5QheQu2+BphdaWtxKEuR85hvl90bPywOQB2xBSSUZasQg7JYxQ2Zyi wTPmM71DztytrHTUWia6rqfsTK1P24SMHMGYigHCwAC5rEPvb3fkDrSfPpZLYSN0eTuBA7P/ z+oiS0EtYUq2JtjO7qAwXjLhDelp57sRwEz5xnKUm/N0u+fTN70D2BPwQiLhcusPLp1XXHa4 CZVx5X2APQmVMrQyXTXGY3hCZnzv5643CvgbUlHPaFJG96F3GWqfok4DNpWeRsyd55cJ2WBj KP7FOdK7ZxaVEZGgIdyaoO1TsMxlar4E4y8UfaONocVJJ9saAWA4SdiI1aK2Hzgm1Qtlqd5P oqHdcGrDjARDqEPINuKqwU1jO9DKsMWnDK7qXXHI/KPjeD2iJm9Fe5tDbd2RrplhJ5oWS2Mm zqlC+OEyg9ETMr1aTTN/IgYIDgidCZrXs6r9JQNKL7ZfmKK/V3N7deAmdvNnKQ1zsxoehvgp yDVtrJwlAWn3CafeVriho5LMem1Ac0uxZ7EAcDcFQ3xgCN7ONzHAFY3cpo8Z7488+J/hfdmU uMIE/hs8dweIgkrDw81NMGnxKQ7LUzDrVvXY0KNPmJjF7Y+HFah0oG/IWPSGNwmU3DfWT0W+ ePwj2s2gPMrGmxfMSohQK3+kQnu7SZGxoqfnSLge7FuRakly6AyQwSZsxP9C5hkxczrl2HAh TWFSwwVv/fMqIIT+dzEz/LM5YSwHuc0WgIQE2DH5PzkfWPX70iy879mCeyoRDH6UH+r2aOAY e4O8erwHsdal3l3sq19MY1R84QA2/XVqYVnkztUREfwUwzzC5dLAGW34s1Uh6gcmp5boVSXX 2yMyPl7OJKIGsPsIHhJAA8pcMCGze41mybT39sxMk7V9C96x5vZcERwbj2nqj1RE6txC6whm dwegc8x7xeurCYqPvKtrDFmx07VIlMuC6wY54wnWqn1gQ8V+3R+SJ37CB6uxqqQat9JY3IYE hXNiIXs371jl1f/KVwtHn3w3M1Yt5QEmDZO6HQgf12puN70tsUb7S1r0wYcb1pql01c8udJJ GJUGVV/JvyO8xdWlcFzZT2QND8bNiKJ2H7a6gUvpDXCQliKR179CjQ3Gdyw8XAz90NeeTlm/ 4+k9lv1bAayfO/N83szfWVHt83cScdA81yeucK/QOWAMZoIQRvkpa6MRlcl9wTCOpoJuV/uu eMw3uJUbPyiOQEyvaEEVoq+054BQku+IF0Ze+lrpv8UFzriIDudiCaHOh2zcJkVJtjh00yxO +pxLO1hCjW80yevqGgAJKguerVbot8g1OAgSJjKe1EUlqS5lSV4lq7f7Q38jzIPb/QytJ9lM aLXVTaJMlLItEtug2WX8fV1YDupU+cLdCjX/b6Q4u4WM7khres1U0U58oXsjkWvKAE9oi6l5 lLSVZT3kd5n559nxbb3M6N5AA6xF9P/ecKI/C23sPVMddn/CtjPhSxEtmjYOxlqApVJV+RVj bittPvF7HHBtpsyUEHbnMCPLLkWxMOQWOEMDNn7AkMHlgS/WejtwSA5xUaGFbJznuhw3PKXH zmDVJPodPo+ects+3lOWi0PTzcfE/vWa4njlwOcrtONKBgU4SqfCNar61vsdX56dzAJCbL6G ATbq/aj3fEGjYVuVTsvJeBqPI98G3DnAZAZTtzWsSKJKFWojnepmKrQpTB55R7lUnC7QdvHu 7TbTR3ARTGOkaDvzuABlbdtvxcSXU1PscNpcm0zo9dJ2i2HVkgYJuEgMLIDOJFesgr28LraP DjtTm8TOR/RbAR+UyfXwYrcB1+EJ+k0JN3GCCQj/BqUZweIFYqwOuZd2Rk60UhmWAnI7b+BG YgS9ESla1L1ittsSP0I7/O2vfZ/y7mIjjgU8ET6iIrpDwxYHbwO02d7ERFQUTDcVfvAj1jPO XN/UFUsrJtXkqItOZ0Il79p9BAlUPfH7Q0ONX7K5+2H/oKRwatH1eH1PPz13vsbdsMWKbUSR HTxAWyQ/2SR3X9Vsqws0z7sqbEhEuqFR6BWM4e6LTD+XYnpgojkAy/GtSMOV91k9wkZEUu1e vyE/S0lHErcQKxO8OT+9OjKkq6dlloFDirVygH44z3e+fD8Ix41ZDDypD/GxVrMR2QPcqmWr Pr+rKpcnrFOiAbZmA==
- Ironport-hdrordr: A9a23:jMW+Rq/LLeoqziH1nBBuk+FGdb1zdoMgy1knxilNoENuH/Bwxv rFoB1E73TJYW4qKRcdcKO7SdC9qBTnhOhICOgqTMCftWzd1FdAQ7sSibcKrweAJ8SczJ8V6U 4DSdkYNDSYNzET4qjHCWKDYrUdKay8gcWVbJDlvhVQpG9RC51I3kNcMEK2A0d2TA5JCd4SD5 yH/PdKoDKmZDA+ctm7LmNtZZmJm/T70LbdJTIWDR8u7weDyRmy7qThLhSe1hACFxtS3LYZ93 TfmQCR3NTojxj78G6Q64bg1eUYpDLT8KoMOCVKsLlVFtzYsHflWG2mYczDgNl6mpDt1L9gqq i1n/5pBbUJ15qWRBD8nfPgtjOQqgoG+jvsz0SVjmDkptG8TDUmC9BZjYYcaRfB7VE81esMop 6j8ljpx6a/Nymw7xjV9pzNTVVnh0C0qX0tnaoaiGFeS5IXbPtUoZYE9E1YHZ8cFGaigbpXZN VGHYXZ/rJbYFmaZ3fWsi1mx8GtRG06GlODTlIZssKY3jBKlDRyzlcexsYYgnAcnahNPqVs9q DBKOBlhbtORsgZYeZ0A/oAW9K+DijXTRfFIAupUCXa/WE8SgzwQrLMkcoIDbuRCeE1JbMJ6e j8bG8=
- Ironport-phdr: A9a23:UAFiSxONEuRTBIrBlMkl6na3BRdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6gr1wOSFt2Ko9t/yMPo8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PTbglSijewbr1/I BqqoQjVq8IbnZZsJqEtxxTGpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohV bBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu4 7ttRRT1kyoMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWMFeWTFcAoOnd 4sAEfYOPfpWoYn6olsBtxq+BQ+xD+/rxTJFgnr60Ksn2OojDA7GxhQtEdIQvnrJsNX7OqQcX vy6wqbH1jjDc+pW1Svh5ITUbhwtvPeBVq9wf8rLzkkvEhvIg0meqYzrITyV0vkCs3SH4eV+V eOvjXQoqwVsrTOywcoskJfGh4ITyl/e8SV23Zw5Kse2SE51f9GkFIZftz2BOoRsQ8MiWH1ot Dw1yr0Bo5K7fjAKxY0hyhXCZPOJb5KG7Qj/VOaNPzh4nnRldaqjihuz7USt1uLxW82o3FtFr SdIjMTBu38T2xDP98SKS/tz8lqg1DqT2Q7e5f9ILVwomKTUNZMszaM9m5QQvEjeGCL9hUv4j KiTdko+++io7fzqYrrnpp+AN490lxrxPr4vmsy4Geg4PQkOX3Sb+eShz7Lv51H2QLJPjvAwj 6LXs4jaKNwUq6KlGQNZz5ov5hSlAzu7zdgVk2MLIVJLdR6fkYTkOk3CLf79APuin1ihlDZmy vXHM7H9DZjAK2XPnKn/cbt47kNRzAw+xs1F6Z1OELEOOvfzV1fxtNPGCh85NBS5zeL9Bttly o8SRHuDDLaEPq/OqFOI4fkgLPeWaI8SpTb9N+Mq5/nzjX8/hFARZ7Gp3YEQaHCkAPtpP1mZY XvrgtcHC2sKuRc+TPDuiF2FVj5TZGy+UL475jE+EI6mDIHDSZ6xgLGZ0yq3Aodaan1aBl2OC 3vkapiIVvkWZC+SLMJtijkEWqKgS48l2xGurgj6y79/I+rO5CIZtZTj28Jx5+LOjx097zJ0D 8qD3GGJUm50gngFSCU33KBkvUxx0FiD0a9ij/xaDdxf//VJXRwiOp7G0+N6E8zyWh7GftqRV VqqWs+mDi0pTtIt398OZF5wFMmljhDaxialH7sVl6GQC5Ev6aLd333xJ95nxHrc1akhiUMmQ spVOmG8iK5/7VubO4mcuEKA342uaK5UiCXK7SKIyXeElEBeSg95F6vfCyMxfEzT+P336E7GQ 6OUBKUhOw9NgZqYJ7pMY9nly1xISvrnNMj2amOqhyG/AlCK3uXfP8LRZ2wB0XCFWwA/mAcJ8 CPDaFFW7kaJpmvfCGYrDlfzewb29uI4rnqnT0gyxgXMbkt71rPz9ARGzeeERaY12bQJ8Dwkt y0yBEy0isjbGtyJowYndatSbNcx/H9O1HnF8QN6eJ64fOh5nlBLSw1spAv10glvTIBJkMwkt nQvmRB/OKSR1F8Hfj2W0JT8JpXeK3Luuh+oLazOiRnFyNjDwq4U87wjrkn7+gGkEk1363J8z 9xcyGeR/L3oNCxKCNfWaR5y8BJ34bbHfiM6+oXYk2V2NrW5uSPD3NRvA/Y5zhGnfJFUN6bs+ BbaNcocCoDuLeUrnwLsdRcYJKVI86VyOcq6dvyA0artPeB6nTvgg34VqIZ6mlmB8SZxUIuql 94M3u2Y0w2bVjz9kEbps8b5nppBbC0TGWz3wDbtBYpYbKl/NYgRDmLmL8qyz9R4z5njPhwQv ESuFlUP3MPvcBScYljxwSVZ1F8L53Og3ymgjnR1nzwvsquDzXnW2e2xEXhPcmVPRWRkkRLtO d3o15ZDBBfuNlFy0kb+tiOYj+BBqa9yLnfeWxJNdinydSR5V7eo86CFaIhJ4Y8ptiNeVKK9Z 0qbQ/jzuUh/sWurEm1AyTQ8bzzvtI/+mkkwkm+MKn93oDzQd899wRvDzNXdXuIX0T1ARjEy2 ly1ThCsesKk+9mZjcKJqO2vUWulWttafyfmyY+cnCK6/nEsDhr5nej5ybiFWUAqlCT80ddtT yDBqh3xN5Lq26qNOuViZkB0BVX45qKWA6lGm5ArzNEV0Hke3NCO+GYf1H30OpNd0L7/a3wEQ XgKxcTU6U7rwh8rInWMzoP/HnKTp6kpL8O3c2Uf3i575s5EBaOY8JRNnDBp5FW/6wDJKfRwh TYSz/Iy5WVS37lP4VJyiHzEWfZPRgFRJkmO31yQ4sq7rblLaWrnarW22Edk3JigALyEvgBAS SP8c5YmEzV365Y3O1bN3Xvvr4D8LYWIK4tL6VvNykyG0rMGTfB53uAHjidmJ2/n6Hgsyuphy AdrwYn/po+MbWNk4KO+BBdccDzzfcIavD/33sM81o6b2Z6iGpJ5F3AFRpztGLiyHSMUvPDrc Q+AHjA4pmuzELvEAUmQ7wFktzicdvLjf2HSP3Qfwdh4EVOHKV1ZiQQYGjw0kJM9GhyCzc36b AF24XYT/hSrz3kEgvItPB75XGDFoQ6uYTphU5mTIi1d6QRa7lvUO8iTvapjWjtV9Zq7oEmRO 3SWMk5WWHoRVBXOVDWBdvG+oMPN+O+CCq+iIuvSNP+Q/PdGWa7AxIrzgNc+uWfWcJ3JZj47U rU6whYRASg/QpyG3W1JE2tOyUevJ4aavEvup3cx95jntqytAEW2ucOOE+cAaI0zvUzpx//Fb 6nJ2254MWgKjJpUnC2RkeFN0gJK03M8MGX9dNZI/S/VEvCKk/cOXUdCMnF9aJMTvfB7glgFO NaF2In8jucq16dsWVkZDQezypnxPZ5YZDzlUTGPTEeTaubcLGWSkZiuOPGyFeUL3u4M70Xi6 3HGSgfiJmrRzTCxDkL2aLgegn3DZ05Q4NnlIEQqVDKrCdviblfT3MZftTQt2vV0g3rLMTRZK j1gawZXqbbW6ypEg/J5EmgH73x/LODClTzLp+XfL58Xt7NsDEEW36pC528mzrJO8CxebN5Nv nOL6/lV+xShmOTJzSd7Wh1TrDoNnJiMoUhpJaTe8N9HRGrA+xUOq26XDnFo75NpB8butKZZ1 tXU3P6rbm4arJSNpJBaWpOcIdnPKHc7NBv1BDPYRBAISzKmLyCXhkBQlu2T6mzArpU+rcuJ+ tJGQbtaWVopU/ICXxg9WoVaf9EuB2hizOXI6axArWCzpxTQWshA65XOV/bIRO7qNC7cl75PI R0B3bL/K40XcIz9wU1rLFdgz+GoUwLdW85Apip5Y0o6ukJIpTJkQ3w10kbpLAqj7nIXGeKcl x8tlk1xZqIv7H2/hjV/bkqPvyY2nEQrzJ/9hiuNdTfqMKqqdaNuLXKt8m8Katb8SQszahCul 0t5MjuCX6hWk7ZraWFsjknbpIdLHvlfC6ZDZVVDoJPfL+Vt2lNapCK9wEZB7uaQEppumjwhd pu0pm5B0QZuP5YlYLbdL61Twh1Ml7qD62W2g/spzlZUdCNvuCuCPTQFs0sSOvw6Kjq0q6Zyv BealWILeXBQBaZy5KMwsBt7Y6PZkmrhy+IRdhj3brTAafvf4y+Zy6vqChsxzh9ayhMDpOAul 59lKw3NCwgu1OfDTkxVc5adb1kTN40LqzDSZXjc6+yVmMAsZtzvGLywFb3c8/pE5yDsVAcxQ dZW55xYTMD1iRPWcZ+8fuxClURl5Ry1dg+MVK0bIUvSwjlb+5rtnMcvhdsPYWxFZAc1eSSvu OSNr1dz0qPaBYU4Pi9BDIBcbipkCornwmZYpyoSVjDvi7BAkVHQ4WOk/XbeVGGkPYgkOa3cI BpoDJveEdoX+qmtlRjY9dPcPzOjXTyHktbO8v9cqJHBCesGFdGVUm/+o68AHjmNaDaKFtS4Y Z/td4MrcNr4TG6gVUCygC40SMG3O8uxKq+PgkfjQoMG6eGm
- Ironport-sdr: 645b4013_P1ZjnTiJY98tgKgB7/1VNXNnYIZH3dJ3fxKUAogMMguqiwx g7XhiWG+MixnJdbPbKsBg/bc3kGa1jKBao9uLtg==
- Msip_labels: MSIP_Label_ddc55989-3c9e-4466-8514-eac6f80f6373_Enabled=True;MSIP_Label_ddc55989-3c9e-4466-8514-eac6f80f6373_SiteId=18a7fec8-652f-409b-8369-272d9ce80620;MSIP_Label_ddc55989-3c9e-4466-8514-eac6f80f6373_SetDate=2023-05-10T06:56:12.927Z;MSIP_Label_ddc55989-3c9e-4466-8514-eac6f80f6373_Name=No Restrictions;MSIP_Label_ddc55989-3c9e-4466-8514-eac6f80f6373_ContentBits=0;MSIP_Label_ddc55989-3c9e-4466-8514-eac6f80f6373_Method=Standard;
Dear all,
We are proud to announce the immediate availability of the Mathematical
Components library version 1.17.0.
The webpage, and documentation, are available at https://math-comp.github.io/.
This release is compatible with Coq 8.15, 8.16, and 8.17.
The contributors to this version are:
Alex Gryzlov, Cyril Cohen, Jason Gross, Kazuhiko Sakaguchi, Kimaya Bedarkar,
Laurent Théry, Pierre Jouvelot, Pierre Roux, Quentin Vermande, Reynald
Affeldt,
Takafumi Saikawa, Mitsuharu Yamamoto, Marina López Chamosa
We also wish to thank all the reviewers of the various contributions.
See https://github.com/math-comp/math-comp/releases/tag/mathcomp-1.17.0 to
download or see the `CHANGELOG.md`.
Packages for opam and docker are ready. Packages for nix are in preparation.
Best regards,
The Mathematical Components team
- [Coq-Club] MathComp 1.17.0 released, AffeldtReynald, 05/10/2023
Archive powered by MHonArc 2.6.19+.