Skip to Content.
Sympa Menu

coq-club - [Coq-Club] MathComp 1.16.0 released

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MathComp 1.16.0 released


Chronological Thread 
  • From: AffeldtReynald <reynald.affeldt AT aist.go.jp>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] MathComp 1.16.0 released
  • Date: Thu, 2 Feb 2023 07:10:44 +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=+xG3B+0ZiKGWLTvHjFENQqZ1HnnnzzHDBg/jNRHuZC8=; b=nODUwFDaG6CnJ555yr48BxCRTU4k9rIqPU34au7V/tIRxYxs1/DX2QJAIiD1w164nw4NcXolA+UVfQ9CyriDnYRaHO00eL2J19oe9ziTk5wo/SjeZPuvCWSrXy8nqlgxMa0oIyZBiv5jhnF59jFUYaRaCiKZRmpQ0R+EwLl9WINGjKPgFwgocwMMJW3fY0KLG86CExJQcedcJbvVXnxpSPjgOalYYjbOH1auafsmnOf15TOLOPcfGQ4zHgKYAFs/BHMZzzd6zwr0+xdzaJCnAB1ulmtgOxO1V44i4pCcN7a5xY1UC7daIUkSltL63F3Kj5DbduM5YEBOwZN0/qihbw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=iwjQ36S+SVgewF1EfGorQdcXHHdoImbIxiB0iW1Zv2QBzcFpXHeTjGrDkHJF7voEvz9nwK8LBK9ZLIQWBeb6XkuMV8ym5F94cJbVVP6frAZoLNW6dZFfWVg+dIqDHXXXjZPAOfRE1nZ4n/7lwq9Y4GBsNGJJt6lmEvfgY92zGWuMvtE8UE0RYA8zzVJu5Xal3HEO0tCwbUI4zkcifpHImRxSK0jvRRorCatJ3mGgKDXfm89OBDKQgviZ6rKNl0C7bxu4JTVGpLzI/jqqG8YAgq4SkjoNcx7Y/VY6v8sGnnbdvDRmDJ1fwlvzAkRhQi213WgqMiA4bXzc+RpQGpDBIg==
  • 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 APC01-SG2-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:ESTKP66JIDMWvZpNQyxa2wxRtHTMchMFZxGqfqrLsTDasY5as4F+v jEWCmCHbPuDZjagc90ibYXi8h8HupGEyNIwS1A4pCs0Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UYYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhnglbQr414rZ8Ek05K6q4mtB1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj66p1VmJmbacfwOd+LlMS0 vcqKjE1KTnW0opawJrjIgVtru0bB5Gyebgw4DRnxzyfCus6S5feRamM/cVfwDo7msFJG7DZe tYdbj1sKh/HZnWjOH9LUNRnxLju3CCiNWIGwL6WjfJfD2z71gFg1rHpPJzcdNKHQclJtk+Zv X6A8GO/AAly2Nm3mGLbry383bSncSXTZtkgObu+3MVTmkyYnzcwUiYZd2CbiKzs4qK5c4kGc BdMo3BGQbIJ3EesV5z2WwCyiGWVuwYVHdtWCewzrg+Xopc4+C6cD2kACyVOYdU+v5dvQjpwj gDX2dT0GTZorbuZD2qH8auZpi+zPi5TKnIeYSgDTk0O5NyLTJwPYgznEc05M/7lpNrPGDjf8 Wytpxo8ho1UpJtev0mkxmzvjzWpr5nPawc64ATLQ26ohj+Vgqb1NuREDnCLvZ59wJalokqp5 SJVwZj2APQmVMnWxHHRHo3hCZn0v5643CvgbUlHJLZJythA03uqfIQV+z53LV9iap8Df2WxP xGVvh5N7phOOnfsdbVwf4+6F8Uty+7nCMjhUffXKNFJZ/CdlTNrHgkxPyZ8PEi0zyDAdJ3T3 7/GKa5A6l5GVsxaIMKeHbt17FPS7nlWKZnvbZ761Q+79rGVeWSYT7wIWHPXML9ktvza+l6Oq YwBXydv9/m5eL2vCsUw2d5CRW3m0VBhXvgaVuQLKL7fclU9RQnN9deInON7IdMNc1tpehfgp SjmARcBkjITdFXCKA6QbWtkZq+nVIRit39TAMDfFQfA5pTXWq72tP13X8JvI9EPrbU/pdYpE aVtU5jeU5xnFG+dkxxDNsaVkWCXXE/27e54F3H5O2dXkl8Jb1Chx+IIiSOzrnJQUXTs6ppWT n/J/lqzfKfvjj9KVK7+AM9DBXvo1ZTEsLMoBRn7MZNIdV/y8YNnDSX0g7Vla4sPMBjPjH/Sn QqfHR5S96GHrp4X4ev5o/mOj76oNO9iQWtcPW3QtoitOQfgo2GM/I5nUcSzRw77al/awquZS N9u/6nOC8FfxFdumKhgIolv1pM7tofOpacF7wFKH0frTlWMC5FgK0mghe1KurNpw6dGmAqpW 3Cg/stRFqWJNfjETn8QBlsBRcaS2c4EngL96awOH3z7wyts7Zy7UUl2FDuduhx3dbdaHtss/ rY8hZQw9Qe6tCsPDv+HqSJlr0K3MX0KVvQchKEwWYPEpFIi9QBfXMb6FCTz3ZCobudMOGkMJ hu/pvLLp5ZY93r4X0sDL1r/9ssDus1WozFP9kEIGHqRkNmchvMX4gxYwQ5qcitrlCd4w8BBE Uk1EX0tPqif3SZatO4aVUCWJgxxLhm4+Evw9lg3qFPkX3SYDmzjEEBtOMKm3lwozGZHTz0Ko JCa0DnEVBjpTuHQ3wwze2RYhtn8aOcoyjfQudytReaBO5xrODbKoLGiWjcLjx3NEMlqvkn2/ tNy9rwsdKegC3YajPwlApjH175KEBGgD05BSMFH46kmMzz9ejaz+D7WMGG3WJpHCMLr+H+CK f5FB5xwRTGh8h2RvxYnCrUpIbQpuNIIuP9bIqjKI0wCuJuh9gtZiorarHXCtTV6UudQntYYA aKPUiCJDUi7p2Zewk3Jp+l6YluIW8EOPlDA7brk4dcyNswxtc93ehsPyZqyhXKeNTVn8z+yv A/uY6z3zfRo+b9znrnDQ7lyOAGpFezdDOi40hi/k9BrX+P9Nc3jswA0qF6+MT9GYpoXedB8z oqWvPDNgUjqgbcRUkLioaenKZVn38uIYbdoAprFF0UCxSqmc+3w0iQH4FG9eMBokssCx8yJR DmYScqXdPwVUud7nFlQZzZ6Fg4CKqXob5XPoTG2gOSMByM8jy3GDoKD3l34YV5LchQnP8XFN Tb1nPK19/ZkrIhoLz0VNcFMWpNXDgfqZvo7SofXqzKdMFiNvnqDnbnTzTwb9jDBDyi/IvbQu J7qaED3S0Wvhfvu0tpcjo1Vuy8XBlZbhc0bXBoU2/xyugCAIF82F8YvGrRYNcgMiQ337o/yW x/VZmh7CSndYyVNQS+h3PvdBDWgFs48EfanAAxw802tPnL8QMvKBbZ67S5v7ktnYjapnqntN dga/Wa2JRSrhI1gQeEI/PGgnON73bXgy2kV/Vzm2dnHa/rE7W7mCFQ6dOaMacDGLy0JvGzzD jBsAFtrGgS8Q0O3Ftt8cXlIHh1fpCno0zgjcSaIxpDYppmfy+pDjvb4PokfF5UdOd8SKudmq WzfHgOwD6K+gxT/epfFf/oggLRoT/2MWMqiREMmbRNHhLm+swzLIOtb9Rfij6geFMp3GlLGi n+j5D48HCxp7ayXNKK+kW00xn66bp7A4/wlQuIySf8qXCHVF+TkRiU=
  • Ironport-hdrordr: A9a23:n+Qr1KAKXUbHrMflHegysceALOsnbusQ8zAXPh9KJCC9I/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:K6IsWRNUk4g6b4ICNY4l6nZmAhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6gr1QSWFtyDtbptsKn/jePJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNYwhEniexbL1wI Rm5sAndqsgbipZ+J6gszRfEvnRHd+NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U 6VWACwpPG4p6sLrswLDTRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4 qt3VBPljjoMODkk/mHKkcxwlLxUrw69pxJxxI7UZZuaNPt4fqjAed8XSm5MUsNXWidcAI2zc pEPAvIBM+hGsof9u1UAoxiiCgejC+zi0SNIhmbq0aEmz+gtDRzK0Qo9FNwOqnTUq9D1Ob8OX OC7wqnH0zHDYO5K2Tnh9ofJchYhruuIXb1tbMHczlMvGB3Fj1WWs4PlOy6a2v4XvGiV4epvS +avhHM7qwxquDevx9wsipXTioIazVDI7yd5wJ4sKNC+VUV0bsKqHoFKuCGGK4t5XNkiQ2dwt Ssmy7AKpYK2cScOxZg7yBPSaOKKfpWH7x79SOqdPDZ1inJ4dL++mxq8/0etxvPgWsSo31hHs CVIn8TCu30OyhDe7NWMRPV6/kekwzmP1gbT5/lLIUA1iarbK4MhzaUqmpoStkTPBiD2mETqj K+Wa0Ur4fKk5PjgYrXjoJKXKox6ihnmP6khhsCzG/k0PhQMUmSB5+iwyb3u8Vf7TbhLlvE6j KjUvIzUKMkeu6K1HwtY34cm5huwEzuqzNEVkmIZIF9AfR+KjI7kMEzULv/iF/ewmVGsnS9rx //YOr3hBY3AI2TZnrr/Ybpx9ldQxhcyw9xB/p5UDaoOL+zpVk/2qdzYEgQ2Mwupw+bhFdpxz JseWXiIAq+FLqzdrUOI5uMoI+mKfoMVvyv9K+Qh5/7pin85mkURcrWu3ZsScHy4H/JmLFuFY Xf0jdoNDX0GshciQOHoklGOTyNfanaoU68+5zw3EIemAp3CRoCpjryBxiC7HphOa2BcFF+NE XHoeJ+AW/gRci6dOMFhkjIaWrilVoAhyQqjuxX7y7p8MurY4CIYtZX52Nh3/+3fjRcy+idsA MSHz26NV310nn8PRzIuwaxzuVZ9xUub0ahkn/xYEsRe6O9OUgcjLJLT0+h6C83pVQ/aZdeIS FOmQs28Dj0rT9IxxcUOY0dnFNm4gBDDxXniP7hA3beMHdk/9r/W93n3Pcd0jXjcnuF1hF4/B 8BLKGeOh6hl9gGVCZSfwGuDkKP/XKoS0SrB6F2O3GyHuE0QBBR9QKPMWXxZb0XYoND1+mvLT qSyT7sgdAlZn53RYpBWY8Hk2A0VDMzoP87TNj7g84/RLROBx7fWKZHvZ31YxiLWTk4NjwEU+ 3+Ccwk4HCao5WzEX3R1DVy6RUTq/KFlrW+jCFcuxlSQYlxn3r65vBcbi/GYR+8717MfpGEur HN2BAX1xMrYXuKJvBEpZ6BAeZU46VZD23jesllnM42mJqRuwFcQfQlzs1/G3hRsFsNPlo4ot CBi1xJ8fJqRy0gJbDaExdbwN7nQf3H15wyqYrXK10v2+e69ov5K09ti7lLpsUeuC1Yo9Ghh3 59NyXyA657WDQ0UF5XsTkIw8Bs8rLbfCsUkz6XT03Akcay9szuYnsksGPNg0BGrOdFWLKKDE gb2VcwcHcmnbuIwyRCvaVofMeZe+bRRXYvufuaa2KOtIOdrnS63xWVB7odn10uQ9i16AufW1 pcByvuc00OJTTD5xFumt8n2n8hDa1RwViKlxDniDYpdIKR8c4sPBXuGKsys2pNxgNjvQz8Q9 VKuAU8HxN78YQCbPDmflUVb0UUap2DimDPtk2Qyyml26PDGgWqRnbeHFlJPIGNASWh8gE25J IG1i4pfR020d00zkxDj40/mxq9draA5Lm/JQE4OcTKlSgMqGqa2qLeGZNZCrZ0ytiACGv6xc FaTTrK7qhUU3ifvA0NXxSsnMT6t/Jfh1U8f6irVPDNooXzVdNsljw3S9drVQfIX1zQISS10l RHeB0Ogedauu9eM3cSm0Kj2RyeqUZtddjPuxIWLuX6g5GFkNha4mui6htztFQVSPTbT79BxT m2IqR/9ZtOuzKGmKad9eUIuAlbg6s18E4U4k40qhZhW12JIzpmS+HMGly/0P7A5kerkYWsLT DoHhdfb7gXh1FFLJ3OS28T2UTOf2oNtasK7bWUfxi8mp5wSTv7Ms/oexHYz/QTwpBm0A7A1h joHzPoy9HMWy/oEvgYg1GTVA7wfG1VZIT25kh2J696kq6AELG2rcLW2yA9/hYX9VPfb+l4aA i+kPMh8TkoSpo1lPVnB0WP+8NThcdjUN5cIswGM1g3HhK5TIY4wkfwDgWxmP3j8tDsr0b1e7 1Qm0JeksYyAM2go8ri+B0sSLDDkYcoX9nfkg6hTmsqK94muBYknFTJNXoOiHpfKWHoC8O/qM QqDCmh2sHqKH7PbEUmW5klrq37TO5mqLG3RK35fz80oF3z/bARPxQsTWjs9hJswEAunkdfgf ElO7TcU/lfkqxFIx7EgJ1zlX2zYvgvtdiYsRc3VMk9N9g8brRSwU4TW/qdpEipf5JHksAGdN jnReVFTFW9QEk2cWwK/Zv//v5+YtbDfX7f2LuOSM+nW77UGCLHQg8roi9UDnX7EN93TbCQ4S aRjggwbGyg+QpiRmi1TGXVPy2SRMIjD4k/7o3I/r9jhoq7iAFu9vNLWWbUOaY09qVfq0cLhf 6aRnHgrcz8Aj8FVnCaaxuRHhwxAzH0/Pzi1T+ZavHaUHvuJw/1ZU0ZAOXMrbJMaveVhhmwvc Ybako2njLcg16xsUg4XWwC5wZOiPZRScTP6aQqPBV7VZu6PfWSZmpiuM63gEeYCgr0M70/i/ mvBdi2rdjWFnD30Wx39KvlCgGeDJhtCtYqhcxFrT2/+UNbhbR79O9hyxXg/xbl+7p/THVYVK iM0M0ZEr7nKqDhdnu06AWtKqHxsMeiDnS+dqejeMJcf9/VxUGx4kOdT4XJyzLUwjmkMXPtuh C7btcJjuXmPqsLXk39cf0ALrTxGwoWWoU9lJKPVsIFaXmrJ9w4M6mPWDAkWo9xiCZvkvKU1q JCHmK/oKThE+s7Z5oNAX46NcJ3BaiN8d0W3UDfPRBMIVzuqKX3SiwRGnfee+2fU5pk2p57wm YYfH79WUFtmc5FSQk9hHdEEPNJ2RmZ4yfjC1JFOvyPj6kaPF6A49tjdW/mfAOviMmOchLhAP V4TxK/gaJ4UPcv90lBjbV9zmMLLHVDRVJZDuH4EDEd8rUNT/Xx5VmB21Vjib1bn+nICE/ewk lg/hAVzZegx3D7t+EtxKV2MpjN6wyxT0Z31xCucdjL8NvL6RYZNFy/9rFQ8KLvSey0tNEiJs hYhMz3JAbVMk7FnaGZnzhfGvodCEuJdSqsCZwIMwfaQZLMj1lEW+UDFjQdXoODCD5Vljg4jd 5Wh+mlB1wxUZ9kwPaXMJaBNwwsYlueUsySvzOx03B4GKhNH7jaJYCBR8h9tVPFuN2+y8+dr8 wDHhzZTZD1GSa8xuvwzvkIlZ7bcl2SxifgbbBj2brHXLrvF6TSY05fQHRVokBtPzhcgn/A+0 N9/IRfOERl3lP3JUUxObJaKKBkJPZMKqD6PImDW972KmM09Pp3jRLrhFbbc7f9N0Ez4RF57T cNQvqFjVtGtyB+Kd86/dexckEx/6lizfwfXS6gYMBOTzmVdqpnmnsYuhNtTemlGUzUlaX3lt PGK/mpIyLKCRIlkOH5CB9ldbytkVpHiwHxS5ywYXmvwj7tRyRDcvWX1/n2CVWClPdQ/PKzGa 0s0UIPkvmhllsr+wV/R+ZHDK2yoLsxstpnX8+QGqp2bCvRSC75gr0PbnIoeTHuvGyvGFdr/T 3AVQ4AtdsCyBXH8UETt01rdoO/4Pc2xaKePxwPwF988WGiz9QgIbZb4LR5EXhB6qqcE+b52Y hAFb9wjexn0ug8iNqu5ZgCFztGpRGXrIjxTHaA38A==
  • Ironport-sdr: 63db61f9_gQjIphFwqBJHCoSd+dkahzPsZ7hX6xzrdlREpfF9t9/5zwi mJtp3ntTsjo9GiofbrXgaqZAv+yWG95ShYaFHoA==
  • 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-02-02T07:10:44.848Z;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 1.16.0.
The webpage, and documentation, are available at https://math-comp.github.io/.

This release is compatible with Coq 8.13, 8.14, 8.15, 8.16, and 8.17.
The contributors to this version are:
Cyril Cohen, Enrico Tassi, Erik Martin-Dorel, Georges Gonthier, Yoshihiro
Ishiguro, Julien Puydt, Kazuhiko Sakaguchi, Laurent Théry, Mireia G. Bedmar,
Pierre-Marie Pédrot, Pierre Roux, Pierre Pomeret-Coquot, Quentin Vermande,
Reynald Affeldt, Takafumi Saikawa, Yoshihiro Imai
We also wish to thank all the reviewers of the various contributions.

See https://github.com/math-comp/math-comp/releases/tag/mathcomp-1.16.0 to
download or see the CHANGELOG.md.

Packages for opam are already available.

Packages for nix, and docker are in preparation.

Best regards,

The Mathematical Components team

  • [Coq-Club] MathComp 1.16.0 released, AffeldtReynald, 02/02/2023

Archive powered by MHonArc 2.6.19+.

Top of Page