Subject: Ssreflect Users Discussion List
List archive
- From: AffeldtReynald <>
- To: "" <>
- Subject: [ssreflect] MathComp 1.16.0 released
- Date: Thu, 2 Feb 2023 07:02:21 +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=B31fB98iuA0ydK0LzUL4NmWBBeHPSMhpoO323UvWLmw=; b=NXvHepoDkk5AHQMo+0oRFUP/sPEOYXI4anllrSi92sDICO78SrWCrxH7fTFa3PInvcLUvfc2H0bPfgQP33bJVV7oVNDQsThldgF5sxP8IeNbKh6pDFHgd4MvIv3Ioyyb65Fv2cngOPrUIGuilByYzNoXCSfq0GUMLHFyNL/+hTvt07EVjPz2++j5DAG4AAw3111awwqgMYTOpC8u3v7bI3b9TAHkt2tqRY86i0gr7YySOc9Mvdj/cQGyPBsloFHEHFBzEKiABYP50hgrbSzhuWXr8ma2RTENY8zR/kdItMPq3ZPKB7rqJ5hwM8xFNPJRgn83ac5wH2kiz0tHy3nSrw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Avh16CZww/O69knlenUI8UvSTukp5FMgvQYtjvWrc3dRwqxS92+RrTYTOFOrNfLIZ6EIL+MbmXnkcBcxroNLJ25mVfdAclHjXtgLfWRkOejgQX8nJUr7YWlG0sDvO4zsMioRFH+X7wy59zWuW/gIVcEe4nFz/3i9HrhPXiKj8KAOUV8NjYJQ6zlvDmkEWI05zd9MW/lbeqGqeTwXbFUzoqgcZQj1VjxC1mnoYgYFOVW53GGN/1Of3pwHBspNam+2obiPJWA83Ga0tLHxv01L44ibX9blNvBQs2Bmz+3fdhcTuzCVpj2GdxRAzJujkuqc6DK2NY0NXVxBZjgCbG5lKg==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=Pass
- Ironport-data: A9a23:vJhwZ6xxPRUZP4Vq7Fp6t+dWzSrEfRIJ4+MujC+fZmUNrF6WrkUHx 2YXWWCHPP6JZ2fweY0gO4Xl90wO75DdzdVgS1Q4+FhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOOU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEALjimEc3l48sfrZ80s15K6q4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFP0gO9TBx8/GbY50dcwD0d30 c01dDYSO0Xra+KemNpXS8FFvu97dYzXDbFavXttizbEEfwhXJbPBb3Q4sNV1ysxgcYIGuvCY 80eanxkaxGojx9nZg9RUcph2r7x2T+iLVW0q3rNzUYzy3Le3Qp41LSrOdTbd9iGWe1cn12E4 G3BuWbhav0fHIDBl2fcoiPx7gPJtTnhY6U2KLKcyv4p2Va1lnEsAkE2TGLu9JFVjWblAokEc xVOksY0loAp71amQN3wVAGQu2+BphdaWtxKEuR85hvl90bPywOQB2xBUi9TYcQt7JYxQ2Zyi wHPmM71DztytrHTUWia6rqfsTK1P24SMHMGYigHCwAC5rEPvb3fkDrXDcxeG/C8qubUMgC3z RaziBkT27MM2JtjO7qAwXjLhDelp57sRwEz5xnKUm/N0u+fTN70D2BPwQiLhcusPLp1XXHa4 SZUypP2APQmVMrcynzcEI3hCZnzv5643CvgbUlHPaFJG96Fx3mgbIc4DNpWfR8zd55cKWWBj KP7hQRS9Zg7AZdHRap+Yob0F9U4xLDrTY3iUKqMM4QIZYVtfgia+i0ofVSXw23mjEkrl+c4J IufdsGvS30dDMyLLQZapc9CiNfHJQhnlAs/oKwXKTz6idJyg1bJFt843KOmNLxR0U99iFy9H yxjH8WL0Q5Dd+b1fzPa94UeRXhTcydmX8+o8ZcMLLTdSuaDJI3HI6+AqV/GU9w095m5as+Sp RlRp2cElgqj1SKcdG1mlFg6NeO1B8kXQY0H0dwEZg/zgCB6O+5DHY8adpAteqIg+vArxOxpV fRtRilzKqUnd9gzwBxENcOVhNU6KnyD3FvSVwL7OmRXV8A7HGThpIS7FjYDAQFVUkJbQ+Nl/ uX8vu4aKLJfLzlf4DH+NKj0kQzv5idM8A+wNmORSuRulIzX2NACA0TMYjUfeqng8D2SnGHI5 BXcGhoCu+jGrqk89dSD1+jOrJ6kH6E6VgBWFnXSp+T+fyTL3HuR8akZWsaxfBfZSDzV/oemb r5r1P3SCqAMs2tLlIteKIxV65wCyeHhnJJk6zh1PW7qag2rA4xwI3Pd0shosLZM94BjugC3e xyu+fdjAKegKOfbKmwuJVM7X+G+yPtPpGHj6KVsKkDD+SRX3qSLfntQMzaIliZccaV5ALk+y 71wouoTzRK1sTsxE9O8lisP3X+9Hn8BdKQGt58hH47gjDQw+GxCeZDxDizX4omFTsdla20GA 2azr7XToaZf3W/AfGgDLmfM1u9jmpg+ghBG41scLVCvmNCepPsI8DBO0DYwXCJH5w5m1r9tB 21VKEFFH6WC0DN2jsxlXWr3OQVgBgWcy3Ph2Wkyi2zVYEm5ZFPjdFRnF762w3kY1GZAchxw3 rKSkj/lWAm3WvDB5HI5XEo9psHzSdB0yBb5p/mmOMa7Tr0aejvuh5G8aVUY8yXHBdwDv2yZh O1I0tspV4jFG38+n6kJBbOe94wsczGfBWkbQfhe7KIDRm7dXzep2AmxEUO6e+ITBvnk6UTjM tFcfJJSXhKX1QKljDMSNYgTKZBawd8r49sjfOvwBGgk6rGwkBtggKjyxAPf2lA5YoxJv54mC 4XzczmiLDShtUFMkTWQkPgea3uKX9YUQSbdgsa3ybwtPLAeurhOdUoS7OOFj0+NOlE6wyPO7 RLxXI6I/elM0o82opDNFJ9EDACKKd/ecuSE3QSwktZWZ+P0Lsb8mFIJm2bjIjhpE+Mda/Zvm ZSJlezH7kfPkbI1cmLewpe6B/Zo4+e2V7FpKc7ZFiRRshaDf87O2CE93V6EB6ZHq/5n3fn/d TCEMJOxUfU3R+ZiwGZkbnkCMhQFVIXyQKTShQK8iPWuChEt91TjKd+50XrxckBaaS46FJnsA SDku/uVx455raYdIDQmFv1ZE5tDD1u7YpQfdvr1rii+Mmmkpnigq4nSv0Msxh+TA0bVDfugx 4zOQybPUSibuYbK/Yl/iJNztBhGN0RNq7A8UWxF8uEnlg3gKnANKNkcFpA0Cpt0tCjW/7Ogb RHvaFoSMwnMbQ5mQz7dvuu6Bhy+A9YQMOjXPjYqpkOYSxmnDbO6XYdOyH1S3GdUSBDCkseXc N0QwyildFz5iJRkXv0a6fGHkP9qjKGSjG4B/Ufm1df+GVACCLENz2ZsBxdJSTeBKczWiUHXP iIgcAiomq1gpZLZSq6MukK5GS31eBvG9x5wNGKz8eSavI+Wiupd1Pf4Juf/lKUZa9gHL6IPQ nWxQHaR52eR2ToYvq5BVxcBn/pvEfzSdiSlBPaLeOHQt/jYBqcb0wcqlCsUUIct/0hdCzsxU xGytmMmCh3txF95gdWrJMZgx361ensNFC2Pgwm5pyeufdnVCTTGU0DC8T8X4q0cZ0QuU4u0j dvSgIusT4WqiQbZ
- Ironport-hdrordr: A9a23:pMTA7qunCHLdMAG0ckfXFOiD7skC6IMji2hC6mlwRA09TyXGra 2TdaUgvyMc1gx7ZJh5o6HnBEDyewKkyXcT2/hmAV7CZniQhILMFu1fBOTZslnd8kHFl9K1tp 0QOpSWaueAamSS5PySiGbXLz9K+qjlzEncv5a6854bd3AJV0gP1WdEIzfeNnczaBhNBJI/Gp bZzNFAvSCcdXMeadn+LmUZXsDYzue7367OUFojPVoK+QOOhTSn5PrRCB6DxCoTVDtJ3PML7X XFqQrk/a+u2svLgCM0llWjoqi+quGRheerN/b8xPT97Q+cyzpAUb4RF4FqegpF4N1Hpmxa0+ Uk6C1QR/ibo0mhBV1d5yGdkzUJ3FsVmgXf4E7djn35rcPjQjUmT8JHmIJCaxPcr1Etpddmzc twrhCkXrdsfGP9dR7Glqv1fgAvklDxrWspkOYVgXAaWYwCaKVJpYha+E9OCp8PEC/z9YhiSY BVfbXhzecTdUnfY2HSv2FpztDpVnMvHg2eSkxHvsCOyTBZkH1w0kNdzs0CmXUL8o47VvB/lp H5G7UtkKsLQt4dbKp7CutEScyrCnbVSRaJK26WKUSPLtB3B5sMke+I3FwY3pDURHVT9upOpH 3oaiIliVIP
- Ironport-phdr: A9a23:jZNCbhchVBO2TOtjDvbrvsKUlGM+yNHLVj580XLHo4xHfqnrxZn+J kuXvawr0AWUG9yAtLkd07aempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjqwbalvI Bi4rwjdudQajZdtJ60s1hbHv3xEdvhZym9vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2T qFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4 qx2RhLklDsLOjgk+27Ql8JwkblboAq/qBNj347aboaVNP9kcaPce9MRWG5NU8lVWiBEBI63c okBAPcbPetAr4fzuUYArQewCwevGOzhxTBHi2Tq3a0jz+gtDR3K0BA9E98IrX/arM/1NKAXU e2t0KTIwzvDYO1S2Tjg9IjGbg4uoPGKXb1qdcre1FQkGgTfjlqOqY3lOSma1uAQvGSB9eVgW +yvhHAjqw5svjii3d0jiojShoIJ0FzE+iJ5zJw3Jd2gUUN2Z8OvH5RMuS+ALYR2Xt8iTH9yu CY80rALpZ+2cDQWxZkowxPTd/OKfouW7x/+W+udPyt0iG9kdby/mhq/8FSsxOPzW8WqzFpHs iVLn8fDu30Q2RHe6dWLR/1g9Umv3jaP0hrc6uBCIU0smqrbKoIhwr4tlpUIq0jDHyj2lF35j K+XakUk+vWo5P/9brr6oZ+cMol5gRz9PKQ2gsGyDvg0PhITU2SH++mwzqDv8VD7TblQjvA7k 7HVvI7bKMgHqKO0BhJZ3pon5hu+Cjqr38gUkWUCIV1eZh6Kio3kNlLILfvlF/mwmU6sny1ux /3ePr3uHJHNLn/bnbr9Z7hw9VJQxBcqwd5B5Z1bCagNIPXoVUDvrtDYCQI5MxCvzObgFdV90 J4RVXiXAq+DN6PSrUGH6f4zI+mNY48VvizxK/845/7yiX85nlgdfaqz0ZQLb3C4G+xqI0SfY XXyntcMCWgHshYkQOD3lFGPUyRfa2uvU68+/D02CIOrAZ/GRo+3gbyB2Cm7HodRZmBDEl2MC 2nndoWCW/gWbCKdP9VtnSYKVbivVYAh0QyhtBPhxrV9L+rU4TEYuYjs1Nhy/eHTlwky+SRyD 8uGy26NVX17nnsURz8q26ByuVFxxk+Z0adkm/xYCcBT5/RRXwchLp7c1fJ1C972Wg3fYtiJV E2rQs6mADE0VtI+2cUCY0d7G9W4jxDMxTCmA7EPl+/DOJthuLnHxXX/I8t2117Dz7Nkjl88Q 8IJNGu8h6c5+RKZT9rSiF+UmaKnfrg02TXXsWaF12uH+kBeSg95F6vfCyMxfEzT+P336E7GQ 6OUBKUhOw9NgZqYJ7pMY9nly1xISvrnNMj2amOqhyG/AlCK3uXfP8LRZ2wB0XCFWwA/mAcJ8 CPaZGDWZw+kqmPaV3l1EE73Jljr6a94oW+6SUk9y0eLaVdg3vy74E1dnuSSHtUU2L9MoyI9s 3NsBl/oxd/HDdOEq0xocqtRZd8hyF5Gzn6fuAs7PITzZ7t6iAsmeh9s91jryw0xD4xBlcYwq 3Z/1gdjL6uc3BVIeT2V2ZzsErTWMXW08xfpabaFkkrG3oOu87wUoO89t02lvAytER869G571 tBOz3aGzrzyJ1JLFK7AYAMw/RU8oKzGaC4g4Y+SzWdrLaS/rj7F3ZQuGfchzRGjOdxYNctoD SfUFMsXT4irIe0uwB2yaw4ceftV7OgyNt+ncP2P3OiqOvxhlXSolzYP5oc1yU+K+ydmL4yAl 58Y3/GV2BeGXDbgnR+gtM7wg4VNeTAVGCK21yHlAIdbYqA6c5wMDC+iJMi+x9M2gJCIOTYQ7 lOyAVoC1ImgdxSfa1Dh9QRRzlhRrnvhmzP5hz14njc1r7aOiTTUyreHFlJPMWpKSW9+yFb0d NTsyYlCAw7xNldvyUX2gCSyj7JWr6l+MWTJFEJBfiytanpnTrP1rb2aJchG9JIvtyxTFuW6e 1GTDLDn8H54m2vuGXVTwDcjenSkoJL8ylZghXObJXJ/6nPXd8x0yQv37d3HWbhe2XwEXGMr7 FufTkj5JNSv8diOwt3Zv/G4XmatEJRdfyTvwZ+ovSqg+StlBlu9h7rg/7+vWRh/2ij92d5wU CzOpxupeYjn2ZOxNud/d1VpDlvxgyZjMrl3iZB4xJQZ2HxBw46Q4WJCimDrd9NSxaP5anMJA z8N2d/cpgb/igVvKXeAxoSxUXv4oIMpfdSrZGoS1mQ04c5HDKuIxLVFhjczrV3+rxqZbfVmn zgbwOcj8zZG26dQ4FVrl3zCRO1MVUBDWE6k3wyF9dW/sLlaaC60fL682VA/1dGtAbeeox1ND XPwe5MsByh1vY10NFPB1mG265mxJIGWNIpM8ETNzFGd0bswStp5jPcBiCt5NHiouHQkz7V+l hlyxdShu5DBLWxx/aW/CxoeNzvvZspV9Cu+6MQW1suQwY2rGY1sXzsRW569B+ilATQbsfihP giAHTkwtl+SGKHDWwCYrkV+5SGqcdjjJzSMKX8VwM83DgOQNUpWhAxSVTs0k5o1Ciijxdf9N kh+oDIJrA2dyFME2qdjMB/xVX3arQGjZ2IvSZSRGxFR6xlL+0bfNcHNpvI2BSxT+Yet6RCcM mHOLRodFnkHAwbXYjKrdqnr/9TL9PKUQ/azP+ebK6vbsvRQDr+J3c79jtMgrmzKboPXeSA/R /wjhhgfBTYgQ5ufw3NXDHVJ8kCFJ8+D+EXhoGsu9pj5qLKzH1uzrYqXV+kLaYkpp0/w2eHbc LfPzCdhd2QC38tVlyaRkeoRgAZK2XMpK2nIc/xItDaTHvjZwvYFVkdCOS0vbJAaveVgj0FMI ZCJ0Nqtj+wh16dnBQsdDg6xwpnxN55NfjnYVhuPBV7VZu6PfWSZmpiuM63gEeYCh70M70/i/ mvCW077YGbZnmGwBUn2aLNC0HnAbhIG4NnvIFEwUw2BBJrnbBa/LdN63yYuz7FynmnNKWMXL Tl7dQVKs6GU6iRbxP54HiQE535hZ4Fogg6h5vLDYtYTuPpvWWFvkv5CpW890/1T5T1FQ/p8n G3TqMRvqheoiLvHxj1iWRtI4jFF4eDD9V1lIrnc/4JcVGzs1SomtTzVNyU44txvB5voprxaz cXJmOTrMjBe/tnI/MwaQc/JNMaAN3lnOh3sfVycRAcIVj+kM2jDilcVzKnUryXK6MFj9d6xx tIHUfdDWUYwF+8GB0gtB9EELJptH3slnbOdkM8U9C++oR3WF6A49tjMUvOfB+mqKS7M0eECP kNXh+qhcsJOaN6euQQqcFRxkYXUFlCFWNlMpnYkdQoouABW92A4SGQv2kXjYwfr4XkJFPfyk ARl72k2Kekr6jro5E86Y1TQoy5l2lM8iNPshTzXeTD/IaO8QalfCjHo8Uc2dJHjCVUQD0X6j Ql/OTHISqgExaNnbnxugRTAtIFnMMZ3FfQBXC4igPadarMvzEhWrTihyQlf/+zZBJB+lQwsN 5mxs3ZH3AElZ9kwb/+1RuIB3h1bgaSAuTWt3+Y6zVoFJkoDx2iVfTYBpE0CMrR1bzrt5OFn7 haO3idSYGVZHeR/uepkrwluXobIhzKlybNILVq9cvCSP7/M8XaVjtaGGxsxzh9ayxEDrOIwi YF7NBPJH0E3kOnNT1JQbZWEcUcNKJMMkRqbNSeW7beQm9QsZ937TqawCrbS/KcM3hD9RFpvQ 9tKtoJZWcDzmEDAc5W9JeZcm0x0vVbleA3dXqYOJELu8n9PotnhnsV+hdAPf2hEU2shaX7lt PGL90crmKTRBt5uOyVDB9JWOC5uA5/qw3YB7SYHUWHSsKpRyRDcvWX1/n2CVWClPdQ/PKzGb ks0UIPkvmhmu6mu1wyN+82HdTijbIZs5oeUu+1C/87VWbQJF9wf+w/dnYJcWnCnAXXXH9LzP 4L3d4Qncd3zDDC9T0C7jDU2Ccz2OZ7oJ6yMy2kAoK5dsZKHmj8kc82lRGl28/ZYjtkovPs5W TwxJp0xbFjvqhg0MLG5LEGAyNKyTm2xKDxQCf5C0eG9YL8RxC0pPLbSIJQIR5Ah06+49ggPX MNT5iw=
- Ironport-sdr: 63db601e_V2f3opDarj8rRwhFD3jZw2cFlQjMzsFgEUtKvXMYsUcTevc 8xCGl8CMTRFvGyuOpsvCwFM3TqFbEP5qNguIU+Q==
- 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:02:21.757Z;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
- [ssreflect] MathComp 1.16.0 released, AffeldtReynald, 02/02/2023
Archive powered by MHonArc 2.6.19+.