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 2.1.0 released
- Date: Wed, 25 Oct 2023 13:30:27 +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=S6GbJpbWZSrfK2nF/eDU1DiKVsOHsEk2doe1lrjNu9E=; b=emRCf7hupE6hoejJ7Ps9yc/KIJYCEf2OogM90l2yaxjAqk+7vcDEZKgHSS2i47qPe+0q5p4eubM/WFlalHZWu1xCmp5Oh5BX3fEsYHNWCpBRFjRYmhQZhy0782tZVKJkLrPtlYZ58YjSxihXbHgOsJ/0WyVe/1crvL/JxSWoJ+iJSghjC5QgB0KdYiyKMDOLG9f+W1tAM4vKh8s9p/gfTHqPBah+hkY+lrTU/m9YzIEbK6QmqHdrKsGYtUnCs6GHkjP2ksslzs84Y+40s40miHnckXO3RjCPeRw1RlbE/Xh1oAj2RLHHt1Uv6BNB62W7MwxnEG6yQdoJBf7ikJAw2A==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=IcCWssXb2YrMBA2qQtRd+ynZxs4ApgcCyLaVhfNftdbULfx5+f2jVutcq+GJETT2LdpB5ekyizrvSBNXmoIbw19n5xJwRGIbWxPH1WZIW4VKX0Z++RH4R94f6PEgqXbk6X31v2Lf11/cjpJI+HrpgVYG1ehSBeRyREZpbtsuiGCEVnh+t60n5qQqwH0DlYAUdtGOVmdXZaF3FL14GFX2j0/tLCQAqW+sX1SSPVxg0p/tM6Rkkx3y861TmjeUk0vZemXxLt/MLHAOcltB/oQeL+paObaPTbLellToX7XfHrJDL7AZZVSOY8P3cbZBHIgiAvcmkZGCw1tLlrjS3WSXrA==
- Authentication-results: mail3-smtp-sop.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-TYC-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:bRk1NKPIqlhzswjvrR1lnMFynXyQoLVcMsEvi/4bfWQNrUor0j0Cy WJLWzyGaPaJNzbwf9p+aInk9UJQvJ7dyNJlGXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYATNNwJcaDpOsPvb8k435ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGWYbGXI+6t2LX0YY5ABxs9JHz122 NUhfWVlghCr34pawZqZcs8034EfHeKuO4kS/HZ90TveEPAqB4jZRLnH7sNZ2zF2gd1SGfHZZ IwSbj8HgBboP0UJYw9ITstnwKH13BETcBUAwL6RjbA68m7ayAA32bbjPd7ZZvSDRN5J2Emf4 GDel4j8Kk9La4fCmWLamp6qrun/hw3kQ9w1L4eX/89DgHaygXEJJwJDADNXptHi0xXlA4sFQ 6AOwQIlqrF3/0i2RPHmThigqTiFuAQdUpxeCYUHBBqlz6PV50OFF2MGVjgZMdsg7pdrH3oty 0ODmM7vCXp3qrqJRHmB97CS6zSvJSwSKmxEbigBJecY3zX9iN8skDb3EM5CLIDrk8TJMA/un winhRFr0t3/kvU3/6m8+FnGhRelqZ7IUhM5623rsoSNv1sRiGmNNtTA1LTL0RpTBN3EEAnQ5 xDoj+DHt7FQXcDd/MCYaL9VdIxF8cppJxX+uTaD9bEd8De8/BZPlqgJuGs7fB85aK7olRfVZ 0zCvmtsCHJ7OXKraeprcomzE8JylK/mT4y4DLbTc8ZEZYV3eEmf5iZyaEWM3mfr1k8xjaU4P pTdesGpZZr7NUiF5GTmLwv++eZ3rszb+Y81bcykp/hA+ebHDEN5sZ9fbDOzghkRtctoWjn9/ ddFLNetwB5CSuD4aSS/2ddNfABTciJhWcqu95U/mgu/zuxOSTlJ5xj5kOtJRmCZt/4L/gs11 i3tBBYJkwum7ZE5AV/aNy47MdsDoqqTXVpgZHd3ZQ/ys5TSSYOu570YbJw5YfEu5vF5wJZJo wotKq297gB0Ym2foVw1NMClxKQ7LUjDrVzUY0KNPmNlF7Y+HFOhxzMRVla1nMX4JnDp5ZJWT nzJ/l6zfKfvsCw4U5+KNKjzkwjs1ZXf8corN3b1zhBoUB2E2OBXx+bZ15fb+ulVcUyTlAiJn R2bGwkZruTrqoo4uouBz6OdoovjV6M0EkNGFiOJpfy7JAvLzFqFmIVgaeeveSyCdWXW/K75W /5Z4cuhO9I6nXFLkbFGLZBV8YwE6eDCmZpm3yV/PXCSb12UGrJqeXaH+s9Ut5xy/LxSuCroe 0GXw+VYEKWtBvnXKU9IOjsgU/mJjs9MqzyDtP4wGVjxxA1p8JW5U0l9OweGiXFDIItPK4l/k P0FvegI4TeekTsvCM6N1QpPxlSPL1sBcqQpjY4bC4nVkTgWyklOTJjfKy3u6rSdQoxoHmhzB RSLlYzQhK95xEXQQ0EsFHPI4/VRta4OtD9O0lUGAVaDwfjBudMawzxT9iYRXC1O7xAazd92B HdnB3d1KYqK4T1sospJBEKoOgNZASym6l7D8EQImELZXnuXeDT0dkNlAtm0/Wcd7254VRpY9 uvByG/aDBDbTPuo1S42AUNYu/jvSOJqzTL7meelIt+kGqcraj+0k46sYms18yHcO/0Tv3Geh +dW/7dXU5bZZAowuKwwDreI2YsAEC6kIHNwetA/3acrM1yFRhSM92mgF0SDdPlJBcT2ym6jK sk3JstwRxW0jymPiTYABJ8zGbx/nd93xd8sYriwHHM06euCpzxAsbb71Cv3tEk0SfpAzOc/L YLwcWqZM2qy3HF7pU7EnPNmCEGZP+YWRVTb8riu0eMrE5kjjrldQXsq2OHpg0TPYRpVwR2Em SjiOYnU9rVG4qZxldLOFq5jOV2FGenrXr7VzDHp4sV8VvKRA8LgrAhPl0LGOT5RNr4vW9has 7SBndr0/UHdtoYNTGHrtMidJpZN+PmNcrJbAuDvIFleuBmyasvmzh8A2mK/cLhistdW4Ou5T AqZNuq0U/MoWOlm+X4EUBgGTi4hCJn2YJzw+gK7jfCHUSYG3SL9cdiIyH7ObENgTBEuBaHQM AHPlsyV1ohql7gUXB4gLNN6MqB8O27mCPcHdcWulDy2DVuIo1Klu5ninCoGsRXOBmegFd7lw JPaRyrRcAa5l7HIwep47a1znEwzJ1RsjdYgenky/4ZNtAm7K2odPMIhMZkiIbNFoBzYjZ3XS mnEUzo/NH/bQz9BTyTZ3P3ieQWuXso1JdbzI20SzXO+MiuZKtuJP+p8y31G/XxzRzrEydOnI /E4/lnbHEC44rNtdNYpys2Lu8VV7dKE+StQ4mH4qdL4PDgGC7ZT1HBBIhtEZRaaL+7zznf0N UoHbkEaZnqkSHzBM9dqIF9UPxA7gAnB7RsVaQW3/dKOnLnDkcNhzqTzNdimh/dHJI4PKaUVT Hz6e3qV7irEkjYPsK8uoJQyjbUyFfuPGdOgIbT+QREJ2Zu98XkjI9hIiB9noBvOI+KDOwi1e viQD3kC6ICtCnh3gOTT9TQivpV7XzQLEi3DixP5qXneixslwtPFeh+sigXmNZX3rKultEJdK NvXRFjEuEWY7VMIuhEn3sn3ZHTeaS3SKZUAeikpVY+0nRDqSnc1+HVJzRQhz9wImJFb7tw8S UtSuunRPKquXziTmQ/j2tUBClSiQ3HtBSxb44LUENlX+hdcGW81nxtV6lp3c+rKvSxLZA==
- Ironport-hdrordr: A9a23:emX3RKA0xzMPY+PlHegysceALOsnbusQ8zAXPh9KJCC9I/bzqy nxpp8mPEfP+VAssQIb6Km90c67MAXhHP9OkP4s1NKZMDUO11HYSL2KgbGC/9SCIVy2ygc+79 YGT0EWMrSZYjZHZK3BkWqF+qMbsby6GdeT9IXjJhlWLT1CWuVF1UNUGwybGkp5SE1tHpwiDq eR4cJBun6JZWkXRt7TPAhPY8Hz4/nw0L72ax8PABAqrCOUiymz1bL8Gx+Emj8DTjJ0x6s4+2 StqX2y2kzjiYD39vbv7R6d031koqqu9jKFPr3MtiEhEEShtu9vXvUgZ1TNhkF3nAjl0idTrD CFmWZaAy000QKYQom4zCGdoTXIwXIg7WTvxkSfhmamqcvlRCgiA84Eno5BdADFgnBQzu2U/Z g7r15xjaAnfi/ojWD4/ZzFRhtqnk27rT4rlvMSlWVWVc8bZKVKpYIS8UtJGNNYdRiKnLwPAa 1rFoXR9fxWeVSVYzTQuXRu2sWlWjA2Eg2dSkYPt8SJ23xdnWx/zUEf2MsD901wga4VWt1B/a DJI65onLZBQosfar98Hv4IRY+tBmnEUXv3QROvyJTcZd860l722uHKCe8OlZyXkbQzvecPpK g=
- Ironport-phdr: A9a23:UueWYxCszar2qtb78K5VUyQU5ksY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua89yg6RFtuAo7Ic0qyK6f6mATRBqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba1xI RmsqQjdqsYajIpsJ60szhfFvmZEd/5ZyG92JF+fhQrw6tu18JV+7ylepvUt+tJaX67nZao4V 7tYDDonM2Ax+sLmsATIQBWM6HUBTGgYiwJEDAfZ4h70WJfxqTb6ufFm2CaGJ832TKs7Viqk4 qx2VRLnkiYHNzo+8GHKlsx9ib9QrRy9qxBjxYPffZqYP+RicKzDYdwaRHJBXsdPWCxHHoO8d JYEA+4YMepFs4Xxu14CoB25CgexGePv0SdIiWHq0q0m3eohFgTG0xYhH9IIrX/YqNr4OaMXX e2z0aLGzyjMb+lO1Dn99obGbwwhr/+PU71sfsTexlIiFx/cjlmMtYDpIy+Z2vkLvmOG7+RgT +Wvi2s/pgxtrDivyNkjio3UiYIJ1l7L6yV4wIAvKt28VUFwfNmpEIFOuCCaMYt5WMciTHxyt CkgxL0Gt4C0fCwXx5Q73BPQcf2Hc5OU4h75W+aRJi10hHB9eL+mgRu57EevxPHmWMauzFZKs jRKksPKtn0VyxHe69SLR+dy80qlxTqC2APe5/9ZLE07i6bXN4Mtz78wmJYOsEnPAiH4lUrog KOKakgq9fal5uv6b7jopZKQKol5gRzwPKQpn8ywG+U4Mg4WUmiU+OS8yL3j/VDiT7lQj/02l bHVsJ/bJcQHpq65HhRa3pw/5Ba4Cjer1skTk3ofLF9ddx+Lk5LlN0zSLP36F/uznkmgnThxy /3GILHtGovBI3nfnLrveLtx9lJQxQ4ywN1a6J9YFq0NLffoVUPvsdHVCxw0PgqpyOj9Etp9z JkRWWeXD6+ZLqzStViI6/orLeeWfIEZpCvxJ+E76fHsk3I1gFgdcrK30pcNb3C4A+hmLF6eY XrxhNcODH0GvhIkTOztlF2NTyJcZ2qzX6I74DE3EoWmDZrfRoCph7yB2yS7EodKaWBBD1CAC Xbod4OaVPcQcC+fLdNtniYZWbS9SYItzwyiuBL1xrZ9LufY5DUUtZf529h04+3Tmwsy9TtxD 8mFyWGCUWF1nmUSSD8ywa9zu1ZyylmN0admh/xXCMBT6uhTXQc7Lp7c0/Z2C9/1Wg7bfNeJU E6qQtO9Dj4pVNI+38cOY1phG9Wllh3PwjKmA6UJmLyTGJw07qXc0mDtKMZ60nbKzbUuj107Q sRULmCmna5+9w3LB4HTiUmZlqCqdb4d3CHX7muDw3CO7wlkV1tbVryNdnQCbAOCptPgo0jGU rWGCLI9MwIHx9TUeYVQbdi8pFtISfPvJO7TcmS4n2v4UQyF17WFaIascmsT0SHRFGANkhsPu 3mBcwomUHTy61nCBSBjQAq8K3jn9vNz/TbmFyfcrimPZkxljP+u/wINwOebU7UV164FvyEor 3N1Gky81pTYEYnIvBJvKYNbZ951+1JbzSTBrQUoJJGxKalmihgXfQp6u0/y/xx2EZkGns9sr mt5hBFqJ/eg2UhaPyidwYi2P7TWLmfo+xX6caPH3Fja3JCf9KkC7Pgkg1zipx3vGU1k8W00m 8JN3S6k747RRBEXTYq3Uksz8E1ioKrGZyAm+47O/V9UF/Ht9wPz8JcuDuZjzQu8ddBCNq/CD BX1D8ARG8mpLqothkStaRUHeutV8cbYJuuAcP2LkO6uNedkx3e9iHhfpZt6ygSK/jZ9TejB2 9AExeuZ102JTWW0ilDpqc3xlY1eAFNaVmOi1SjpApJQbaxubM4KD2mpOci+2tR5gdbkRXdZ8 FepA15O1tWufFKeaFn03AsY0kpywzTvgyapyTVwn3cgoKSS2CDS6+3jbwZBNWkNRnEjxVbgL I6ojswLCVCyZltM9lPt7kL7yq5H4aVnejWLBx4QIG6vdj0kD/Hj09jKK9RC454pryhNBeG1Y FTBD6X4vwNfyCT7WW1X2DE8cTiu/JT/hR1zzmyHfxMR5DLUf999wRDH6ZnSX/lUi3AcSTh+g D3bQFGyMdSt8cm8npbYrqaxUCSjTtcAFEujhZPFrya96WBwVFelkuG1k9nrVwE03yL/28VCX CTTsFDzZc/pz+7pVIAvNlktD1j65c1gH4h4mYZln5Ac108RgZCN9GYGm2P+WTlC8Zr3d2FFB TsCwtqOpRPgxFUmNXWRgYTwSnSaxMJlIdi8eGIfnCwnvYhGD6Kd7boMmiUQwBLwtw/AZ/F5k nEUx/Uj7HIGq+gIoxZrwSLbAKhaEURDPCPqngiF9Jji9OMOPDnpKOHskhck1dm6adPK6hlRQ nP4ZosvEWdr48NzPUiNmHz/54f4ecXBONcatxmaiRDF3KBeLJM8kOZPhDIyZTq75CV6jbdi0 Vozh8Lf3sDPMWhm8aOnDwQNMzT0Y5hW4TTxleNFmd7Q2YmzH5JnEzFNXZ3yTPvuHihB0Javf wuIDjA4rW+WXLTFGgrKol1rvnTGF5ztPn+ZKX0V0f1rRQKBYkNYxgIMFmZf/NZxBkWxycrtf V0srCoc91jxrhcKw+xmOh3zTk/WpRy0LDgzDpqHZkkzjEkK9wLeNsqQ6fh2FidT88i6rQCDH WecYhxBEWADXkHXT0CmJLSl4sPMtvSJHufrZeWbeq2A8KYNMpXAjYLqyIZt+CyAc9mCLmU3R eNuwVJNBDh4A5iLx21JGnZRz2SVKJfG7Bakpn8r9obmqKutAES3otLRbtkaedR3p0Lr2+Hab 7bW3GAhbm8EnpIUmS2RkORZgAFU02c2MGDyWbUY63yXRfqJyPYOVkwVN3srZpkPs/JZvEEFO NaF2In8jucq16dsWVkZDQezyIb1NIQLOz/vblqfXRTSbe3UK2GTmJOnOfvkG+8X0b0x1VX4u C7FQRXqZm3RzmCwBR7zaboeh3nDZE4M/9zkOhd1Vzq5RYq/OETiaY150WVtk7Ns3iuYZylBa 3A5ekdJ5NV89Atgi+5kUyxE53thdqyfnjqBqvLfMtAQuOdqBSJ9k6Rb5m47wv1b9nMMSPtwk SrU5tlgxjPu2vGI0SZiWQFSpyxjprqt5RwnBZTys55KVDDD4Q4H6niWB1ISvdx5B9bzuqdWj N/SiKb0LzQE+NXRmKlUT8TZM8OINnM9PAGhRGaSVVNaC2fyaSeC3QRUi7mK+2eQr4Qmp5Skg 5cIRrJBFRQ0Gv4cFkV5DYkCLZNwDVZG2faQiM8F42b7rQGEGJ0c58iYEKvLXbOycmX87/EMf RYDzLLmIJ5GM4T63xcncVxmhMHRHFKWW9lRoypnZwtyoUNX8XE4QHdgviCtIg6r/nIXEua52 xAsjQ4rK/4g5THl51txL1TEqS88jGE4mM75xz+WNjzpZvTVP8keG2/vuk49P4muCR5ydhG3l Fd4OS3sZYp31+IlSVFAzQjWtN1IBOJWSrBCbFkI3/aLav400FNa7CK62UtA4uiDApxn3lhPE 9bkvzdL3ARta8QwLKrbKf9Sz1ResamJuzehyuE7xAJNb1ZI6m6ZfzQE/VAZLrRzbTT95fRis EbR/lkLMHhJTfchpehms18wK/jVhTy1yKZNcwiwL7DNc/vf6jKGzYjQBQptnkIQyxsZpf4vi ZhlKwzMEBlxqdnZXxURaZifc0cMN5IUrD6LOn/S+eTVncAsZ9n7Sr+uFanW8/9LykO8QlRzF txVvJ1YR8uijBmAf5WgcO5gq11l5Ry1dg+MVK0bIUvSwjlb+5rtntgrjMFcPm9PW2wlaHfuv ++FqFNy26jTBI9uMCVdA9NhVDp+WdXkyXRQ5y0SVWDugOxFkFPQ5Gek/naCS2SlJ9t7OqXOb Es1WojvoGcxr/Dt21CPqs2MdSanb5wns9vLo4vyQr6OCuhIC7Z69UXEydEwr52CcVbpSYfwG 6nbLo4mYJrzF2qwVUG5h3QtVcDtMd2xL6+Oxwb1WYJTt4rd1zcmZ5bV/t42EhZru6cM4+R+f V9aC6c=
- Ironport-sdr: 6539187a_y3/kWqpsZYTuZpLyF3hXe919Tfr1NtMgTJdpskXgP68Qe4m xbdmd89oujJ19bw+2etJdzug9XN1wJ6IX7nvtYw==
- 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-10-25T13:30:27.425Z;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;
We are proud to announce the immediate availability of the Mathematical
Components library version 2.1.0.
The webpage, and documentation, are available at https://math-comp.github.io/.
This release is compatible with Coq 8.16, 8.17, and 8.18.
The contributors to this version are:
Reynald Affeldt, Sophie Bernard, Alessandro Bruni, Fernando Chu,
Cyril Cohen, Josh Cohen, Hugo Deleye, Jason Gross, Pierre
Jouvelot, Erik Martin-Dorel, Pierre Roux, Kazuhiko Sakaguchi,
Julin Shaji, Enrico Tassi, Laurent Théry, Quentin Vermande
We also wish to thank all the reviewers of the various contributions.
See https://github.com/math-comp/math-comp/releases/tag/mathcomp-2.1.0 to
download or see the `CHANGELOG.md`.
Packages for opam, nix, and docker are already available.
Best regards,
The Mathematical Components team
- [Coq-Club] MathComp 2.1.0 released, AffeldtReynald, 10/25/2023
Archive powered by MHonArc 2.6.19+.