coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Pierre Roux <Pierre.Roux AT onera.fr>
- To: coq-club AT inria.fr, ssreflect AT msr-inria.inria.fr
- Subject: [Coq-Club] MathComp 1.18.0 released
- Date: Wed, 01 Nov 2023 11:51:35 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Pierre.Roux AT onera.fr; spf=Pass smtp.mailfrom=Pierre.Roux AT onera.fr; spf=None smtp.helo=postmaster AT briaree.onecert.fr
- Ironport-data: A9a23:Ds0YoK/8M4z4oij1mg4YDrUD/nuTJUtcMsCJ2f8bNWPcYEJGY0x3x zNNXGCPP/qLNGHyfN9+ao21/UhQ78SDm4drHAc4qipEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYvWo4ow/jb8kg25ayr4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TExtN0FBEbE5QjyOcqOXpV/ t5DcBAjV0XW7w626OrTpuhEjN4iJdPmMcUYvHxrwCvFS/g8KXzBa/yRuZkChW1235EWW6q2i 8kxMVKDaDz4YhBVIFpRMpUjjM+vgHTlentWsjp5oIJuuDSKnVYvjOaF3Nz9V8TTTslFtR6hm EHr9FioBiEoKeey4G/Qmp6rrqqV9c/hY6oZE6T9/fp3inWI12kLAVsXU0G6qL+3kCaDt8l3I VYV8zAjoO418kGgQ8PhGROiyJKZgiMhtxNrO7VSwGmwJmD8um5130BVEGATW89sr8IsWz0h2 3mAmt6jV3Qls6SYRTjZvv2YpC+7c3pdZ2ITRz42fS1c6fnaoaY3kk3uSPRnG/WLldHbI2z77 A2LiykcvI8tq/A3+Z+1xn35pg69h4PoS1c17zrHX2j+4QJeYpWkVrOS6lPazKhhKaSIR2avr Uo7ptWUtr0KPMuzhSCmHeAGHZCyxvO/KDaHq0VeL5og0DWM+nCYYoFb5g9lFnppKsopfTzIY lfZnBF4vbt/HSKNQ/dsQoSTD88K8/DRJe79XKqJUusUM4lDSgCX2QpPO2iS5jnJu2oxm/gdP Zy7T56dPUwCA/468AvsFvYv6p519CUQ3miJeIvayS6g2r+gZHK4b7cJHV+NT+Ih5pO/vwTn3 IdDBvSO1ilgfrXyUgvP/a4XCGI6H3wxKJT1is5QL8qoAA5tHkM/AP7wn5IlXaFYnJpuq+SZx UHlB3dky2f+i0bXdiSMSHRoM430UbhF8HkUAC0LPHST4UYFX7qB1qklSsYITeEVz9A7lf9QZ NsZSvqEGcVKG2jm+SxCTJzTr75CVRWMhCCQNS+bcQkEIptrRi3S29reZgC03jI/Pim2ksofo rObyQLQR6QYdTliFMr7bPGOzUu7mHogxNJJQErDJ+dMdHXW8IRFLzL7itk1KZouLSrv6yS71 QHMJzslvsjI/pEI9efWiZC+r4uGF/V0GmxYFTL56Ze0LSzrwXqx87RfUeqnfSHva02swf+MP d5q9vDbNOELuH1osIAmSrZi8v8Y1uvV/rRfylxpIWXPY1GVEYhfG3ih3/RUl6hz17Rc6BqXW EWOx4FgAo+3GvjZSXwfGAl0Sd6496AwuiLT5vELMknF9HdJ3L6YY35zYTiIqgJgdYVQDq104 N0PmsAs7y6HtiELKfeD1yBdyHSNJCcPUoIhrZArP7XogQsKlHBHMIHuOg32xJS9evRNLUgYD TuGj4XSh7ln5xTjclhiMVPvzOZilZA1lxQS92A7JnONgcvjuv87+DZz4AYHZF1Z4Tsf2t0iJ 1UxEVN+IJu/2gtBhe9BbjiKIB5ADhjIwX7B4QIFu0OBRnb5S1GXCnM2PNuM20Ur82h8WDx/1 5PAwUbHVQfaRu3A7hEQa2VE9cO6FcdQ8zfckv+JB86GRpk2QQT0i5+UOFYnlUHVPtMTtmbm+ 89R4+dCWY/qP3Uxooo6KbWg+5Y+dRSmHFFGENZdpP4nPGeFdD+LjG3Ebwj7f85WPPXF/HOpE 8EkdIoFSx260z3ItTwBQ7IFJ7hvhvMy+d4eYfXRKHUbt6eE5C9c2H4KGvMSWEdwKzmvrSo8F m8VXziYE2WKiHYSnGnAp8ReJiy2e7HooeE6MP+dqI00+1Ar6YmAsn3eFpOzuXiPOU1p5Xp4e SvdMrTOwbUKJZtExuPR/2YqO+lwAdT1Wf6Btg6p2ziLgRUjLu+W3z4oRpLb08i68FfftxmbV VhAjTIv4H74gQ==
- Ironport-hdrordr: A9a23:iSq/aaDRvAnTmazlHely55DYdb4zR+YMi2TDtnoBLCC9F/bzqy nAppgmPGDP+UwssR0b9uxoQZPwJk80rKQFhbX5Xo3SPjUO2lHJEGg41/qc/9SIIUSXnYNgPM FbHZSWY+eAbmSS4/ya3OGCfuxQvOVuys2T9JzjJ/IGd3ASV0lLhD0JcjpyUSBNNXR77DECZf yh2vY=
- Ironport-phdr: A9a23:QRS+LRELJkMroh9/YVb6u51Gf81GhN3EVzX9CrIZgr5DOp6u447ld BSGo6k33BmQBdmQsqMMy7KP9fy6BypYudfJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnF t9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+M ha7oR/MusUKjoZuJbs9xx/UqXdMZ+ha2HlkKF2Nkxv9/Mu84IJv/yFNsP896sBMVrn3cb4lR rJCFjQmNG415MzvtRbdSAaE+2URXGYLnBdWGgbJ9B71UIv/vSv8rep9xTKVPdbqQrAuWDSt9 LlkRRn1gyoaLTE58WXXisttjKJHpR+quhJyz5LIbIyTKfFxeb7Tfc4BRWpZQMleSzBBDI27b 4sKFeUBPOBYpJT5q1YBqRayAA+hD/7txDBVnH/7xaI13eohHw/YwQIvEdEAsXvIo9v6L6oST eO4zKvUwTnfdf5b2zHw45XIfBA7pvGMWKp9f9DQyUYxDQPFlEufopH5MTOSy+QMvHWQ4u16W +KulWEnsRtxrSa1yskwjYnJm40Ux0vD9SV/3ok1P8e3RFR1Yd6+CZZdsTyROIRqTM04WW5op Do6xaMcuZ69ZCUExooryh7cZvCbfIaF5gzuWeiPLTpkmH9oZb2yihau/EW8zuDyVsm53UhJo yRKkdTAqm4B2gDR58WEVPZw41us1DCS3A7d7eFEJFo7lavdK5M5zb4wl4YTsUTeHiDtgkn2j aiWel0r+uip9+TnYqjmqYSGO4BojQH+N6IjkdG8D+QgKgUCQmaW9Oum2LH94EH1Xq9GguAyn 6XFqpzXKtwXqrO3DgJayIov9QuzAym83NgFmXQLMEhJdROBgoP0IV/BOur4Au26g1m0kDdk2 fTGPrr5D5rWNHjDka3ufaxj5EFC0gYzytZf6IxIBb4fOvLzRlX9tNLCDhMhMgy0xfjoCMll2 48DV2+CDbWVPL3PvVOW/O4jPu2BaJMPtDvyM/Ql4uThjX49mV8TZ6mp2p4XZWiiEPRnPUqZe 2DsjckbHWkWuQo+UePrhUaFUT5VeXmyRbgz6is1CIK8FYvDQJuij6Sb3CinBp1WenxGCleUH Hv1b4mEQesDaDqOIs99lTwJTaSuS4g41R23qAD6z6dnIfHP9y0DtZPj0cB16PfJmREz8zx0F cWd3HuXQ2F6hGNbDwMxiat4uAl2zkqJ+al+mf1RU9JJo7tSSR03O5rRxPBSDsvoHwPHZNaAD legWNSvRz8rHfwrxNpbW0dwAc+vxirEwjriV4cUmqaRCdoO9b/M93/3Ktx0jXjcgvpyx2I6S 9dCYDX1zpV08BLeUtKY+634v6OjdKBGmTXI6H/G122F+kdRTA93V6zBG3EZfErf69rjtQvZV 7H7L7MhP0NazNKabLNQY4jRjFhcXvqlAtPDc0q2nWqqDFCG3ODEd5LkLl0Uxz6VE00Yi0YW9 HeCOxI5A3KZom/EFjEoL1Xyc2vr9+RkoTW1VBx81BmEOmtm0bf94RsJnbqcRvcUi6oDozsko i5oEUyV1cjXAsCNqkxmeqhXbMkhplldvY7Anyp6OJHob6Vrh1pENh9yo1urzRJ8TINJjcktq nouigt0M6ORll1bJXue2tjrN7vbJ3OXnljnYrPK2lzYzNed+7seoPU+pVL5uQi1F00ku3x52 thR2nGY693EFg0XGZ72V0828VB9qdS4KmEF5o7Oz3AqC66pohfF3d8zDa0r0FfofttSNr+FC B6nC9cTVIClLO0nnUTsbwpRZbsOsvRtZYX/JqPAhP3OXq4ohj+tgGVZ7Zoo10uN83A5UevUx 9MfxPre2AKbVjD6hVPns8btmIkCaytBewj3gSXiGoNVYbV/OIgRDmL7afW2y89kitjXXGNI3 FmlCkkPnsGzM0n3DRS1zUhL2EIbrGby0xO5wiZunncTqbeP9CvIzv7rMhQdcD0uJiEqnRLnJ o66iMofVU6jYl0ylRer0k39wrBSuKV1K2S7rV5gRyHtNCkiV6KxsuDHeMtT8NYyti4RVu2gY FecQ7q7oh0A0iqlEXEMjDw8cjirvN3+kXkYwCqlLXtptnefQ8Zt1T/Y4tHGTLhfxHIKSTJ5h j/eGlWnd4DyoZPOzs2F67HmET7pX4YbaSTxyIKcqCa3gA8iSQaymfy+gJyvEAQ31zP6y8g/U CzJqBjmZYy4n6++MO9hYgxpHAqlsJY8QNgk1NJh3NdMih14zt2P8HEKkHn+K4Be0KP6Nj8WQ CIThsTS607j0VFiKXSAw8T4UG+cy41vfYrfACte1yQj4sRNEKrR4qZDmH4/mlu1txjcJ8J6g yc1zv0j8ndcjftD629Phm2NR6sfG0VVJ3mmrxWF9cqz6p9QeXaHdr69zkM4k8rrX9Tg6klMH X3+fJklByp56M5yZUnN3HPE4YbhYNDMbNgXu07cg1LaguNSMp50iusSiH8tJzfmpXN8gb1e7 1QmzdSgsYOAMWko4K+pHksSKGjuf81KsjD10fQHwprQhdjzWMs8XGlDVcnvS/+yGXQVs/n9P kCAClhe4j+aAeaNRFPDrh0+8zSWTdb2f3CPeCtAlokkHkDHYhUO2EZIFDQ8lZokGg343sHqa lp4+jUY51q+oRxJr4AgfxCtV3eE4h2lYS0pSYSaJRtSqApF4g/UN8ea8+5+TTpA8Nu5tguRJ 2eHZgNOS2YURkiDAFOlNb6rgLuIu62RAu70RxfXSZOJr+EWF/KBxJb1l5Bj4y7JLMKEeH9rE /w83ENHG3F/AcXQ3TsVGWQRkGrWYsiXqQ3ZmGU/p92j8PntRAPk5JeeQ7pUP9J1/hmqgKCFf +eOjSd9IDxc29sC33jNgLQY2VcTjWlpeVzPWfwYsjXRSavLhqJNJxQBaippOcYO6KQx1QRXJ YjVkJK917J1iOI0F0YQVVHlnZLMB4RCKGW8OVXbQUeTYe3deXuRmpuxOPLkD+ED6Ycc/we9s juaDUL5azGKlj2zEguqLfkJliaQehpXpIC6dB9pT2nlVtPvLBOhY7oVxXU7x6M5gnTSOCsSK z95Jgl1r7CK9y4euPJiC0RG6Hd/JK+KgWzKiouQYoZTqvZtDiluwqhC528mzrJO8CxebPZvm SLIo9MopFermeSV1nxpSlAdz1QDzJLOtkJkN6LD85BGUnuR5xMB41KbDBESrsdkANni00i/4 t/Jmbj6bjlYoYu8FS40AM7ZMsvBPmBzaXIB+RbeFgoMVzOmc2bZikdQiu3U+GfH9vAH
- Ironport-sdr: 65422dc4_h4k4Ic5RJG552c6GGSPUGHGqmG2K6QIZvAhIrUrzj1/U3As RZRNzvCj6a0ptEkkMw7vWThhbdJzjJP7DfGw7+A==
We are proud to announce the immediate availability of the
Mathematical Components library version 1.18.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
and includes changes from 2.1.0 that could be backported.
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-1.18.0
to download or see the `CHANGELOG.md`.
Packages for opam are already available whereas nix, and docker
are in preparation.
Best regards,
--
The Mathematical Components team
- [Coq-Club] MathComp 1.18.0 released, Pierre Roux, 11/01/2023
Archive powered by MHonArc 2.6.19+.