Skip to Content.
Sympa Menu

ssreflect - [ssreflect] MathComp 1.17.0 released

Subject: Ssreflect Users Discussion List

List archive

[ssreflect] MathComp 1.17.0 released


Chronological Thread 
  • From: AffeldtReynald <>
  • To: ssreflect <>
  • Subject: [ssreflect] MathComp 1.17.0 released
  • Date: Wed, 10 May 2023 06:46:12 +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=QiwgSX3/3tAtoUGXm2U2bXTqeza+SdjTzs5oHsUrh+4=; b=mJeIDShgtTfnFBrS7IHpy+oOKAdYWJHSTUFG2wYwS/vIpvpd3wp3Y8X04nDOprgCoyyV272H8sCyOc/3LLlcixuoIf7VJwoscYy5glNnI6pule0AUKZJBv+ptwmVBx1UvXNBpis0yXSlwIbg7f4V/jgDcoIgnzVeIkz//UksUDkE5Zt9MMynDr+JqO/2NcaTIkS8axgSvoxaPKIxqrM+sa99X0jTFy7dxzEYYLMY2uhqHjUxe3nad6ZJXvAuB4IIXa05lIKqGbGTq6LMHl4PvOvWWXMwP77yD47oOQDtImDyHIUZojG0MG3+8284JZH082fdiErRTaB+LCZMM8NPIg==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Foum5ef/krFj3OwIACGqqlZVJwFwLb6GxHPg4jLggk5Y3bpVzjbtK1S+MIhqF4iYKGGnCG2YmnLk/DaHsKpmFJuMDQpbUCtOAqkcqp3U9m5X/mZMI0QKdRmrXGJCaxC99y9SwgE6pqfhwQqtqGuUJn0/nDZ6EbkYN2pdXulfMm1y3Dj4YopTt0gf3sy53T/7KzjxcMlWYlsbXY+hOJdc/31dqrci9AuVrrtfSdorb0imt7k4wW+s44e9r0ye74l9BMR6RC8ou6PZIUSyDzrFictlP94qoScfu6kA2SdN8hWU7j8h3fYjy1KpPwd+r5vCNQ0AWxrLI9VV3rc/K7C4Zg==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=Pass ; spf=Pass
  • Ironport-data: A9a23:hllzxqhruzkbdsVQYArltsg7X161ABsKZh0ujC45NGQN5FlHY01je htvUDiPbveNYDSjfdwlPtjkoE9VsZfSxoJnQQZvqyswRChjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYpdDNFg06/gEk35q+q5WtJ5gdWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGB2o6HqBH47pMHHBL/ OUHD2opfzSmiLfjqF67YrEEasULDvHNZNpahkBLiDbTALAhXIzJRLjM6ZlAxjAsi8tSHPHYI c0EdT5oaxeGaBpKUrsVIM5m2r7w2T+mKmEe9gv9SakfuwA/yCRr3anrOd7ZPNWES8hRklqwr 2Pd4yL2BVcYLLRzzBLcqi312rKUwnKTtIQ6U5+i8/Q0hwKq/FcTBTEVUFici+CmlRvrMz5YA xdNoXF29PJaGFaQZsLmRRC2pHOPojYHSt9IGqs77huMw+za+W6k6nMsSzdAbJk6pcQ0XTpyj 1iPxYu3XHporaGfTm+b+vGMtzSuNCMJLGgEIygZUQ8C5Nqlq4Y25v7Scjp9OKWegv7YRiis+ C2bqSEnmJJJqd8v8qruqDgrnAmQjpTOSwc04CDeUWSk8h51aeaZi2qAuQmzARFofNbxc7WRg JQXs5PDsrBfVvlhgATUG7RTTOD5jxqQGGeE6WODCaXN4ByPwxZPl6hs5zJvIy+F2e5dIWWsO BeD42u9CLdvO3i7asdKj2+ZDs0rye38BN/nTvaMN91IOMAvLUmA4T1kYlOW0yb1ik8wnKojO JCdN8GxEXIdDqchxz2zLwv87VPJ7n5grY8wbcmqp/hC7VZ4TCLPIVviGAfWBt3VFIve/G3oH y93bqNmMSl3XuzkeTXw+oUON10MJnVTLcmo+5cJK7HbeFQ2Qj1J5xrtLVUJKtQNc0N9xragw 51BchYJoLYCrSGYcVzRMiA8AF8Rdc8l9y5gbETAwmpEK1B4ON30tP5FH3fGVbwm//Zk1vl6U 7EMadiaD5xypsfvqlwggW3GhNU6LnyD3FrQVwL8OWRXV8A6G2ThpIS+FiOxr3ZmM8ZCnZBjy 1FW/liHGsVrqsULJJq+Vc9DOHvu7CZHx7IsBBWgzxs6UByEzbWG4hfZ1pcfS/zg4z2artdD/ 1fMW0UrtqPWrpUr8dLEo6mBos37W6F9B0dWVS2Tp7q/KSCQrCLpzJ5iQdS4W2nXdFr136G+O sRT7fX3a8MckHhw7oFTLrdMzIAF3eXJmYN09ApeISj0XwyZMY84enii9utTh5JJ3Y5c6FeXW FrQ29x0OoepGcLCEXwRLToDNsCG2e8wnyHNzPUqIXfV4D1806qHXH5zYTiNqn15B5lkPLw1x dwOvJYt1DW+rR4xI/C6jixw3EadHEwqCqkImMkTP972t1AN1FpHX635Ngb3x5O+M/N3LUggJ 26vtpro3rhz6BLLTCsuKCLrw+FYuJUpvSJKxn8kI3CiuILMpt0z7S1r3QUHdCZn5TQZ7LsrI UluDVN/GouW9TQxhMRjYXGlKzscODKnoH7O23k7v0yHaXnwTWHcDnwPCcDU9mAjzm9sVDx6/ raZ9WXbbQjXbPzBhisfZEo0hMHgHPpQ9xLDkv+JB86qPYc3Shu7j76MZVgnkQrGA8QwtXLDt +VBoeB6ePDiPgUxuIw+MZGRjp4LeSCHJUtDYPBvx7wIFmfiYwOP2SCCBkSyW8FVLdnIzBOIM NNvLcdxSBiO7iaCgTQFD6oqIbUvvvoWyPcdW7Hsf0gqjqC+q2d3jZfu6STOvm8nbNFwm8IbK ImKVTajEHSVtEREiV32s8hIFWqpU+YqPDSm8riOz9wIMJYfvMVHU0I4iOK0tkrIFjpXxUufu QebapLGy+Bn959XoLLtNad9ViGUMtL4Udqa/D+j6+puacz9CuaQlgc3hGS+ASFoE+owYelnr ZWMr9/9423dtpkUTW3yuseMBotJ1+qITctVNcPMKFN9uAevRPHC5zcnxDG5G6cUjt9t3MitH DWlWuDtatUQCo9v+1sNYhcPDjIYWv37Qbf+r3mmssXWWwQ80BPGHvyj53TGfWFWTQ5WGpzcW yvfmeei2cBcl6tIXCQ7PvBBB4RqBXPeQo4kSoHVmRjDKVK3k3SunLfGvjgx2wHhU3WrPp7z3 sPYe0LYah+3hpDt8PhYlI5X5Tg8E3d3hLgLTHI3otJZpWizMz8bEL47L54DN5Bzlx7y3rHeY BXmTjMrKQf5bAR+XSTM2vbRdSbBObVWIfb8HCIjwG2MYSTvBI+gPqpoxh0931hIIAnc3MOVA vBA3E2pMhaIl8QjAa5Z4/Ggmu5oy8/L3n9Cqwi3j8X2BA1YGrkQkmBoGA1WTyHcDsXRjwPxK HMoQXxfClSOIaIr/R2Mp1YOcP3YgN/u89nsRQW35o6G/rmq56hHwvC5PPzv2LoeashMPKQJW X78W2qK5SaRx2AXvqwq/dkuhMeYzNqVS9OiIvaLqRI6xsmNBqYPZqvuXhbjiOkr+RVDVVza0 Du0i5T7LFrQM1hfgdV61i1Qk6+ckRsw4/XhhQ/kuXnJllo717A1vvRsIB3TcfnNlkQog6mUr Pr+oqpcT516eQYIfQVDi8k=
  • Ironport-hdrordr: A9a23:v+4i06zgd//19pKNUZaMKrPxsuskLtp133Aq2lEZdPULSKGlfp GV9sjziyWetN9IYgBHpTnyAtj4fZq6z+8C3WBxB8bUYOCCggeVxe5ZnO/fKlHbehEWldQtnJ uIEZIOb+EYZGIS5amV3ODSKadC/DDzytHMuQ6o9QYOcegFUcFdxjY8LjzePlx9RQFAC5Z8Po Gb/NB7qz2pfmlSRtinB1EeNtKz7OHjpdbDW1orFhQn4A6BgXeD87jhCSWV2R8YTndm3aoiy2 7YiAb0j5/T+c1TiyWsmlM73a4m1+cJ+eEzSvBkTfJlawkEvzzYKLiJnYfy/Azd7tvfq2rC2+ O82yvId/4DkE85OFvF6ScE12TboUwTwm6nxlmCjXT5p8vlADo8FspanIpcNgDU8kw6obhHod B2Nk+ixupq5Cn77VfAzsmNUwsvmlu/oHIkn+JWh3tDUZEGYLsUqYAE5ktaHJoJASq/sekcYZ 1TJdCZ4OwTfUKRbnjfsGUqyNuwXm4rFhPDRkQZoMSa3zVfgXg8xUoFw84UmGsG6fsGOux5zv WBNr4tmKBFT8cQY644DOAdQdGvAmiIWh7IOHL6GyWXKEjGAQOyl3fa2sRL2AjxQu108HIbou W8bG9l
  • Ironport-phdr: A9a23:eObTLRGAlzgWk3RBekV3mJ1Gf/dEhN3EVzX9CrIZgr5DOp6u447ld BSGo6k30RmSAd6Qs60MotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQVFiCCzbL59I hi6ohndu8sLioZ+N6g9zQfErXRPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q 6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms8 6tnVBnlgzoAODAk7WHXkdRwg7xHrxK9qRJ/xIvUb5uUNPp4Y6jRedwXSG5EUstXSidPAJ6zb 5EXAuQBI+hWspX9qVUNoxSiCgejC/jiyiNRhnPqwaE2z/gtHRzA0Qc9H9wOqnPUrNDtOaoOX +C1wrfHzTHeYPNKxTny9ojJchY7rvGIQL17bM3cyVMxGALFiFWfs4jlMC6P2usXvWib4fRvV eayhG47sAx+uDmvxtwwioXTiYIVzUrI9SdhwIssI9CzVUF0b8K+HpRKqyGaK5V5QtkkQ2xwp Cs3y6EKtIK0cSUO1JgqyB3SZuKafoWH/B7vSPudLDZ4in54eb+zmxi8/Ee+xuHgSsS630hHo yVYn9TCtX0Byhre4dWJRPt6+0euwzeP1wbL5+FLIEA0iarbK4M6zbIql5oTtlzPHiD3mEXqj K+Wa14r9vK05OTgZ7XroIKXOYxsigzmPakihtazDfkkPgUMRWSX5Pmw2bL58UD4XblGluM6n 6jFvJ3UIMkXu7K1DgtU34sm6huzEzir3dEFkXUZMl5IfReKgozvNlrTOv73F+2/jE6pkDpzx /DJILnhApLVI3bHirnvZapx51NFxAQtz99S+YtYCrYaL/3tQEPxs8HYDgMiPAyz3ubnDshy2 pkGWWKVBa+ZLL3dvkOU5uIuJOmMYpUZuDHgK/g54/7uing5mVwHcaa12psXbWi0HvVgI0qHf XrhmtgMHXsQsgYjUODnikeOXSNOa3u9Ra4x5yw3BJqjDYjZR4CthLKB3D28Hp1Tfm1GEE6DE Hfud4qeX/cDdTieLdVvkjwKS7ehT5Iu1Q21uQDgyrpnNfbU9jcXtZLkztR15fXTmQk09TNvF 8udyX2CT3lonmMUQD87xL1zrVRnylifyah4n+BYFdtL6vNSSQc6L4DTz+J+C9/sRg3BYsyES E2mQ9WjGTE+VMg9w94IY0ZnGtWtlArP3ySwA+xdq7veH4cu/6zY0nPtb5Jm0GzL2q0shEUOR 9BVcGygnK92sQnVHY/A1UuDwfWEb6MZiQfD+mqHwXa0sVBeWQp8GfHfUGEZb0/a69336E7GQ 6OGALU8Lk1OzoiAMv0ZOZXSkVxaSaK7a5zlaGWrljLsVH5gp5uJZYvuISAG2TnFTVIDmEYV9 GqHMg43AmGgpXjfBXpgDwGneFvipM95rn7zVUoo10eSdUQ0zbek/BcRibqVRf0e2r4YkC4gs CkyE1H73cqFQ8GYqV9Zdb5HKcg4/E8B0GvYswJnOZn1Na1zgFcaf0J+sU3j0xlrIoxBitRso 3RszhIhYbmA3gZ5fiiDlYv1JqWRKmT2+0W3bLXK31jFzNuM0oU3zqxh7mnSl0SuHEdk9Gh72 d5I1Xfa/o/NEAcZTZP2VAAw6gR+oLbZJCI64us4zFVKNq+5+n/H0tMtXq4+zwq4Os1YO+WCH RPzFMsTA46vLvYrkh6ndEBMOuca76MyM868EpnOkKe2IOZtmi6nhmVb8ch81EyL7S91Vu/P2 d4M3fiZ2gKNUzq0gk2mt4j7noVNZDdaGWTaq2CsHoNAYKR2ccACB2mjJ8Gr7tx/nIKrVHke9 kbiT1IK1cm1eAaDOkTn1F41twxfqnimlC2kij1sxm1x6PPHg2qXmrikKkNUXwwDDHNvhlrtP 4Wu2tUTXUzyKhMsiAPg/0Hxga5SuKV4KWDXB0ZOZSn/aW94Ac7S/vKPZdBC7JQwvGBZSuO5N BqAR6/7qh8WlSrtEWZayCwTfjCxptP2mFp4kCjOSRQ75GqcYsx2yRrFsZbGSO9X1z4KAiB2h zTTCkSUNtiy4ZObkNHBqqrtMgDpHo0Wei7tw4SasSK97mA/Ghyzkce4ndj/GBQ72yv2vzVzf R3Btw20Iozi1qDgdPliYlEtHlj3rcxzBoB5lII0wpAWw3kTwJuPrzILlmL6MNMT3qybDjJFX zMaxdfR7E7s1kNuKn6V74v4TWnbzcwnZcHybm4N2y075txHE+/ItPodxXQz+wPk61yIKfFm+ 1VVgeMj8nsbn/0EtEI2wyORD6pTVUhUMCrwlgiZutW3raFZfmGqIvC70Etzm8zkDanX/lkaA S6mPM57QWkut5YaUhqEynD454D6dcOFaNsSskfRiBLcl61PL5l3kPMWhC1hMGa7vHs/yud9g wY9uPPy9IWBNWhp+7q0RxBCMTigLdke6zfkiaoYl8iY0oSjAr1oGy4XGpTvC/CwWmF317yvJ 0OVHTswp23OU6DSDAmW7EsgpnzBHpSnK1meJWIFi9plAhuFbh864khcTHAxmZg3ERqvzcrqf RJi5zwf0VX/rwNF1uNiMxSsGneavgqjbS04DYSONBcDpB8X/F/baIbNi4A7VzEd5JCqqxaBb 3CWdxgdR39cQVSKXhjiJuX8uYGGorLeXqzmaKKTKbSW9b4CD7HRnc3pis0+uG/SU6fHdnh6U 69mgAwaBSg/Q4KB3GxTAy0Py3CUN5Ld+Ej6omsv6ZnguPXzBlC17NPWWeILaIdhp0ju0/XEa 7715m4xKC4GhMkFnSaakeFGjlBO03o8JX7xQPwBrXCfFquIw/0OVkdJZX8rb5kYt/pkjFsKZ Ja+6Ju916Ym3KQ8Uw4XDAW4yM/1PZdYKDnlbAGVQxvSfLWee2+RypmuM/rlEO9e0L0P5RPo4 W7JQQi+ZHzGnj3tHXhDKMl0hTqAdFxbsYC5KFN2DHT7CcjhYVu9OcN2ijs/xfs1gGnLPCgSK 2o0f0RIp7yWpSRW55c3U3RG9WZgJPKYljyxzdH+cs9TjcpARyN+mqRd/WgwzKZT4GdcXvtpl SDOr9lo5Va7ju2IzTkhWx1Lz1QDzI6GpkRtP6zF+4IIBS6CpUpSqzzJV1JU/pNsEZX3trpVy 8TTma67MzpE/9/OvIMdC8XSNMObIS8hPB7uS1u2REMOST+mM32ahlQIzKnUryXK6MFj9t6yw clrKPcTTlE+G/IEB14wGdUDJM0yRTY4ifuBi8VO43OirR7XTcEcv5bdV/vUD++8TVTRxbRCe RYMxqv1aIoJMYiukVZve19zmIiMEkTeUNRBvgVobxQo5kpKtnpmBD5WuQqteka27XkfGOTh1 AYxkRd7aP8x+S3EwW8RfgOPmBob1U47lJPinCybdyP3IOGoR4ZKBiHotk83dJTmXwJyag70l kthfmShJfoZn/5rcmZljxXZsJ1EFKtHTKFKVxQXwOmee/Qi1VkP4jXi30JM4vHJTIdzjAZ/O 4D5tGpOgkgwCbx9bbyVPqdCyUJcw76DrjP9nP5k2xcQfg4M6D/AJHZO6RZObv9+YHP1tu10t V7ew30aIDdKD7xy5as0kyF1c+WYk3C9ifgachj3b6rHaPrF82nYyZzRGg92ihxOzw8duuEpm cY7LRjOXhh2nuLITkYHaZKae1MSM5o3ljCbfD7Q47/EmcsnZtzkRO60FbTc5uFI0wqlBFh7R Y1Ut5ZYR8D+3h2AdpW3dOZdm0dquVyORh3NDewXKkiCyG5V+pjmnpErhdIPLWlFWTcvdnjur rfP+F1wiaLaDo5vOyUUAtNfZHxuAJXoyWkE5TwFBT2zmIrxKSCg1xmk/2HsPRK5aNBuIvCJe RlrFde6vy0l9LS7gkLW9ZOYIHzmMdNluZnE7uZI/v5v5NtdTKJh9Ujb3YtAFSXCu4vnGN+uO 97/bM8udY6sYks=
  • Ironport-sdr: 645b3dd8_gBOu6k1PyjXWGpKGGfzgyEvVoeuLoEXXILu6DVA5rR9bN/H zD+p98Z/uEIVbbMP+ba2vRHM4iZmVoaCOhT7z7Q==
  • 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:46:12.371Z;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.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


  • [ssreflect] MathComp 1.17.0 released, AffeldtReynald, 05/10/2023

Archive powered by MHonArc 2.6.19+.

Top of Page