Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq 8.20+rc1

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.20+rc1


Chronological Thread 
  • From: Pierre Roux <Pierre.Roux AT onera.fr>
  • To: coqdev AT inria.fr, coq-club AT inria.fr, coq+announcements AT discoursemail.com
  • Subject: [Coq-Club] Coq 8.20+rc1
  • Date: Mon, 01 Jul 2024 12:14:39 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Pierre.Roux AT onera.fr; spf=Pass smtp.mailfrom=Pierre.Roux AT onera.fr; spf=Pass smtp.helo=postmaster AT onera.onera.fr
  • Ironport-data: A9a23:QfzEyakyo9JuE+8D0b5OzFTo5gx0IkRdPkR7XQ2eYbSJt1+Wr1Gzt xIbCGGAM//ZM2emfIsgbI/i8x4AvcLRxtBkGQFlqXw0H1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82AyajN8B56r8ks14Kys42tA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN13NG1vPZUp+d0sXzpj7 vU0GT4VTxKq0rfeLLKTEoGAh+wkKsTxNcUYvHx6xHfXF57KQ7iaH/mMv4cEmmltwJwm8fX2P 6L1bRJXbRnaeRAJAFAKGLo5muqyjz/xaVW0rXrE/PJrvjmIkWSd1pDuAvveWcypXP5Lj1icq GHr42D1PBEzYYn3JT2tqS/117aewEsXQrk6H7qh+vN0qEaCw3QaThwQT1qy5/ej4ma1XMsaI EgJ8AI1vK0q/QqqSMP8Vlu2uha5UgU0XNxdCeR87weA0KOS7Rzx6nU4oiBpceQK7c8udD8Rj QHSssjgKQ1hqJyXYCfInluLlg+aNS8QJG4EQCYLSwoZ/tXuyL3faDqVH76P94bu1rXI9SHM/ tyckMQpr5sp5fPnOo28+13dinSroJXTR0g7/G07v15JDCskNeZJhKTxtzA3CMqsyq7DHzFtW 1Bfw6CjABgmV83lqcB0aLxl8EuVz/iEKibAplVkAoMs8T+gk1b6ItkBvmkkeRkxb51dEdMMX KM1kVkAjHO0FCDzBZKbn6roYyjX5fa9SI+7PhwqRoEVCnSOSON31HozPB/Jjj2FfLkElqcyI 57TNI6rA3gbAqkvyjOqRuAb2Ltjym8z2X7fSIuzwgjv3bfWfnOeSbofO1uDdagw4bmDux3c7 9dWM8aRoyizo8WlChQ7BbU7dAhQRVBiXMCeg5IMLIarfFE5cFzN/teNndvNjaQ+xf8E/goJl 1nhMnJlJK3X2COccF7aMio4AF4tNL4mxU8G0eUXFQ7A8xAejUyHtc/zrrNmIOl1x/8p1vNuU fgOduOJB/kFGHyN+C0QYdO55MZufQiiz1DGdSe0QikNT7g5TSzw+/jgYlTO8gsKBXGJrscQm eCr+T7aZpshfD5cKvjqRsih9W7sgkhFqtlOBxPJBvJxZHTT9JNbLn2tr/0vfOAJBxbx5hqb8 Ae0Hx0dm/j8mNIw+9jonoGBlZ+iSMFlL3pZHk7azLe4Djbb9Wyd2r19UP6EUDTedWHs8oCgW Lll9O79O/g5g1p6iYpwPLJ1x6YY5dG0hbtl4il7PXfMNXKHN6hBJySY4MxxqaF9/L9Vlg+oU Eap+NMBG7GoOtvgIWEBNjgeceWP+vEFqAb8tc1vDh3B2xZ2276bXWF5HRqG0nVdJYQoFrIV+ 74qvcpO5jGvjhYvDM29sRlV0GaxNV0FbbQss8ALIY3sizdz8Gp4X77nNnbU7q2MOvJ2CWt7B h+PhaHHuaZQ+VqaTVo3Ckr2/LR8gbYghUl06WEsdnWzp8r9p/4o3Rdu3yw9YSZLwz5mje9iG GhZGHdkBKeJ/j0y2cxIWk2xEVscABac11HDzXoIsEb7TECYcHPHA0NgGOSK/WEfq3l9eBoC9 p6m6W/VaxTYV+Cv4TkXRmhktO3Fcdx90ibgifKXNZ2JMLdiaAW0n5L0Q3QDriXWJP8YhWrFl LFMx/lxY6iqDhwgifQ3JKfC3ItBVS3eAnJJRMxg26Y7HWv8XjWW8hrWImCTfvJ9HdD7wXWaO edPeP0WDw+f0RyQpA81HaQPer94vMA47eo4J4/EGzQ0jKu9nBFI7rTr6SnMtE06SY5PkOE8C L/rWRCsL2iyvUZQykjx9JRqG2zgetQVRhzO7Mbs+sUzKp8zmuVNc0Yz77iKg0uoIDZXpxK5g QeSSJLVnspDyJttlbTCCq9sJRu5AvKtWfWq8DKcicVvb9TOO52TswgQh0TVOSVXGZAzWN1Hs 6uHn/Cq/UHCvZcwC3v4nbvYHYZ3xMyCZshlGeOpE2t7xAysANTN5TkH8ECGca15qstXvJSbd lHpefmOes4wcPYD4n9sMgx1MQsXUobzZYfe/RKNleyGUEUh4FaWPeGc1CHbaE9AfXU1ILz4M Aj/vsiu6v1+rIhhABwlBelsM6RnIW3MCLcXSNnsiQa2VmWYoEuOmr/HpyoS7TvmDnqlEsGjx bnnQhP4Vgq5uYCW7dV/nrFxgCYqDydGsbFtRn4ext94tWnrRipOZ+EQKo4PBZxogzT/nsOwL i3EaGw5Tz7xR3JYeBH7+87uRRqbGvdIANriOzg15AmBXk9a3m9b7GdJrU+MIkuaewcPCMmgL 9wE8zv3OBWry9dnX47/I9Sl1Px/yKqyKm0goCjAfw7aWn7ywonmEFRmGgdXXGrJCakhUW3Vc HMtSzksrF6TECbM/AUJR5KRMBYfsSnmiTsyBctKLBAzpK3DpNB9JDbD1y0fH1HNgAnm5FLDe J8ve1aw3g==
  • Ironport-hdrordr: A9a23:h7anlame4P1zFatfbnwR1bQE2YHpDfMcimdD5ihNYBxZY6Wkf1 jHpoVs6faSskdZZJhAo6H2BEDuewK4yXcY2+cs1NSZLUHbUQmTXeVfBOLZqlWKd0LDHlgx78 1dm1IXMqyCMXFAgdz35xT9N9o72tGI/OSJiI7lokuFJjsLV0gU1XYaNu/tKDwUeOApP/sEPa vZyeYCnjykeX4GKuSXb0N1FNQq/bXw5fTbiFU9dnkaAUG1/EqVAOuTKWns4j4OFzhKhbMj9H XIiEj57qKvtv23oyWsrVP7/tBcnJ/90dNFHtWLkdVQNzXphhy0bIB5MofywQwdsaWh5BInl8 bBphE4M4B98HXUF1vF3ifFyk3u3HIq42X+jUaFin7iq4jyQTI3DNcEhZsxSGqk12Mw+N5xlL tM2mKSp95WAHr77VrAD/ChbWAfqqKcyUBS49L6ihRkIPsjgIM4l/1vwGpFVI0BED33gbpXaN VGHYXC5O1LaxeBZXjfuWVjqebcJUgOIg==
  • Ironport-phdr: A9a23:T6q5dxe+/P3txHiER79qad43lGM+/9fLVj580XLHo4xHfqnrxZn+J kuXvawr0ASRG9yAoKgew6qO6ua8Az1Guc7A+Fk5M7VyFDY9yv8q1zQ6B8CEDUCpZNXLVAcdW Pp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uM Rm6twrcu8cKjYd4N6o8xBTFrmVWd+9LwW9kOU+fkwzz68uu+JNv6Thct+4k+8VdTaj0YqM0Q KBXAzghL207/srnuwXdQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Qr8oVzus6 adrUwLohzwcNzEl6mHXi9d/g7xdrRm8uhFw2Y/UYIWSNPpjYqPQeM4RSGRdUspNUSFKH4SzY ZYID+obIeZXsZTyqUcQohSiBAmsHP3jwSJMinL5waE21uIsGhzE0gM9BdIDqHvbotv1OqkMT O66wqrGzDrfYP1Zwjr99IrFchI9rf2QR798b8zcwlQvGQPfiVWQrJToMSmU1usTqWib9fRvX v+zhW4gtgFwrSWky8A2hInImI0V0ErE+jtjzIgpIt24VUF6bMWjEJtWqS6aLZF5TtksQ2Fyo Ss3zKANtpGnciYQ0psn2wLfZOKdc4iO+h/uSvqdLCpkiH9qeL+yhgq+/EevxOHgWcS4zlhHo ytKn9fDuX0Byx7e5MebR/Vy/Eqs1yiD2xzN5+9KIE05i6jWJpg8ybA+kZoTtF7MHi7wmEjuk aCWcVkr+uu25OT9eLnpupicN4pshgHxM6Quhsy/AfkjPQQUQ2eb/uG82bv+9kP6WLVHluA6n 6bWvZzAO8gXuqG0DxVU34sj8RqyAC+q3MkWkHQINl5JZg+Lg5bzN13TJP30Ee2zjlWqnTx22 f3GOqDhAo7RLnfdirfvYLd96k9Cxwcr0dxS4Y9fBKsbL/LpQEDxscTVDh8nPAywxObqENJ91 oUAVmKVGKCVKqTSsVmW6eI1OeaAfoEVuCzlJ/gk4f7hk2M5lEcAcaSm0pYbcm60EuhpLkmDY Hfhgs0NHGgSsgo7VuPqiVmCUTBJZ3a1WqIx/is1CIO4AofZXICinqaN0ju8Hp1LaWFLEVeME XH2eIWeQfgAciySItV5njwCTreuU5Uh2g22tA/m17pnKfLZ9jMAuZL5yNd1//HTlQ019TFsE 8ud1HiNQHxqkWMWXDI2x6B+oUllyliZy6R4gvpYFcZS5/xTSAs6O4Tcw/RgC9/uQgLBYsuJS FG+T9q6BjExV8s9zMMKY0ZgANqvlQvD3iqvA78NjbOHHp008qTG33jwPclx0XjG1LNyx2UhF 8BILGGrmIZ+8RLSDsjHiQHRnKGzMK8YwSTl9WGZzGPIslscGAV3SObMW3YYe03doNH04F/ZZ 7OvEr8gLxFaxMuLK68MYdrs3ntcQ/K2ANXTeXi80123GAbAkouNYZDwdiMn2zjNIE8Cnhoau 3icY1ttThy9qn7TWWQ9XWnkZFnhpLUmwJvaZko9zgXRKlZky6Lw4RkNw/qVV/IU2LsA/iYns TR9WlinjJrNE9TVgQ1nce1HZM8lpk9d3DfhtgFnJJHmFad/lnYZdQlttgXgzUY/EZ1OxPAjt 2hi1w9uMeSd2VJFeSmf2MXIO7DNMGS0xheye4bR3FzE2ZCY4PRH8+w2/m3qpxrhDU8+6zNn3 t1ShmOb/YnPBREOXIjZVUA67RE8oLfXeCB76Zm8OWREF66yv3eC3tsoALBg0RO8Z5JEN7vCE gbuEsocDszoKeowmlHvYAhWdOZVvLU5Oc+rbZ7kkOaiIfpgkTS6jG9G/JE100SC8DB5Q/LJ2 JBNyu+R3w+OXTPxxFm7tcW/lYdBbDAUVm2xrEqsTLZQa7docMAxDnq+C8qxy893wZD3GjZZ+ FOlG1IayZqxYxPBJ1f53ABWyQEWuSn+xXf+lWQo1W906PbMuU6Gi/7vfxcGJGNREWxrjFO3Z JOxk8hfR0+wKQ4giBqi40/+galdvqV2aWfJEiIqN2D7KX9vVqyou/+MeclKvdkQsChNSun6W 1eHWpb6pRYA2mXtBSENoVJzPyHvoZj/kxFg3SilLXtptnefQ8Zt1T/Y4tHGTLhfxHBVIUsww SmSDV+6Md6z+NySnJqWqeGyWVWqUZhLeDXqx4eN3MeizVVjGgb33/W6m9m8VBM/zTe+zN5yE yPBsBf7ZIDvkaW8K+NuOEdyVhfw7M9zG4c2lYVV5tlY4XkXnI+Yu0AAjHfbNtNWw6u4YmBFS TMQwtHT6RTowwU6ci7PndqlECvAhJcpbsLyem4M3yMh881GbcXcpKdJmyd4uBvwrA7cZ+R8g iZIzPIv7HAAhORa8AEpzyibHvUTBRwBYXCqzUzUqY7j6vkEAQTnOaK930d/g927WbSLowUHH W38Zo9nBihoqMN2LFPL1nT3rIDiYtjZK9wJ5Xj221/NifZYLJUpm78Eny1ibCjFvHA/0eN9t xtzzbm9uoWdIiNj5ujqZ3wQfi2wfM4V9jz32Oxmn8uMxY3pJJJ8Ch0MWpbyRLSmCnhB0Javf xbLGzo6pHCBHLPZFgLK80ZqoUXEFJWzPm2WLn0Unp1yAQOQL0tFjEUITS03y9QnQxuyypWrI yIbrngBo0T1oRxWxqd0OgnjBy3B8RywZG58SYDDfkMKskcYvxuTb5HYsqp6TSZe84eo6guLJ 3aSIQpSaANBEk2cWwK6YuXov4GctbHGQLf2LuOSM+zV9aoEDq3OnMP3lNcu/jCHMtiDMyt4A vYhx0tfWHl4H4LSnDBqKWRfnnDIf5Xdvhq34DB2ssW28fCtUwXqrYqJAL9PPdg94Ai4x7+ZM PKdjzp4LjAe0Y4QwXjPy/4U21t36WkmMjCpFf5oWTfldKvLgecXChcab3g2L85U9+cn2RELP 8fHi9Tz37o+j/gvCl4DW0az0s2uYMULJSm6OjalTA6TM6+aIDTQ38ztSaS6RKdZyuJSuge5/ ziBW0PuJTWMkTD1WgvnaL0QynvDYFoA5cfhOh92bAqrBMrrcBi6LMN6gXUtzLs4i2mLfW8QP D5gcl9c+72d6SQLyv57GmFH8j9kNbzdx3rftbGEbMhL96c4Z0Y83/hX63k71bZPuSRNRfgu3 TDXssYruFa+1O+G1jtgVhNK7DdNnoOC+0t4asC7vtFNX2jJ+BUV4CCeERMP8pFdC9D1oa0W8 N/ShIr0LjpY+pTa54FPYqqcYNLCK3cnPRfzTXTMCxAZSDewKWzFr0tbneubsHqTo4Iz7Jb20 slrKPcTRBk+EfUUDV5gFdoJLcJsXz8qprWcidYB+Xu0qBSCDNUfpJ3MUeieROn+MDvMx6cRf AMGmPmrSOZbfp2+wUFpbUN22ZjHC1aFF84YuTVvN0c1uBkfqSQiCDdrhwS7N0XxqDoaEfr+9 vbZogx4bP4ksjn2sQ5fzr/ioy09ikB3l8+32Vh5kRb2KqqqVMdRDSfuvg4/KMGiKzs=
  • Ironport-sdr: 66828192_TxJe7RAWDFW6ugoY8dzNvLVqjGS2XCDlIRgtf+L8FIgRzOB wuU/yzDvEypBJrXfn/vpWXeDPvi4596ZoXK27Wg==

The release candidate for Coq 8.20 is now available. Library authors
can safely start preparing compatible releases. For continuous
integration purposes, the release candidate is available as a Docker
image [1] as well as in nixpkgs, in particular through the
coq-nix-toolbox [2]. The final 8.20.0 release is planned for early
September.

[1] https://hub.docker.com/r/coqorg/coq/tags?page=&page_size=&ordering=&name=8.20
[2] https://github.com/coq-community/coq-nix-toolbox


  • [Coq-Club] Coq 8.20+rc1, Pierre Roux, 07/01/2024

Archive powered by MHonArc 2.6.19+.

Top of Page