coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Théo Zimmermann <theo.zimmermann AT telecom-paris.fr>
- To: coq-club AT inria.fr, coq+announcements AT discoursemail.com
- Subject: [Coq-Club] Coq Platform 2023.03.0 release with Coq 8.17.1
- Date: Mon, 18 Sep 2023 17:38:10 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmermann AT telecom-paris.fr; spf=Pass smtp.mailfrom=theo.zimmermann AT telecom-paris.fr; spf=None smtp.helo=postmaster AT zproxy120.enst.fr
- Dkim-filter: OpenDKIM Filter v2.10.3 zproxy120.enst.fr 9FB3B80E74
- Ironport-data: A9a23:CIagLa3kUacKdk8DpPbD5Z50kn2cJEfYwER7XKvMYLTBsI5bpzZVz GRLX22PbP/fa2rxKNlzaYW0oUsDscKHy4diHgE43Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9gVaYDkpOs/jY8EI27Kyr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW3LqzttPL2YOBNw7++R7Dj9/7 PNbcQlYO3hvh8ruqF66Yvt0nMMzPZCxZMUSvGp8iz/DZRokacmYHOOTtIMehnFp15sm8fX2P 6L1bRJzbBnHJQ9OP1IaEpc3muGAmnT7fjZfrReNrLA2+C7d1mSd1ZC0aoSLI4fUFJ89ckCwo mLczkrYPBIgGJ+tlxG6rVagncDpknauMG4VPPjinhJwu3WYwXVWAxkLX3OgsPyhgwi/XcheI goa4EITQbMa5lSxScnsBkfg5nOCpQJaVcA4//AG1TxhA5H8u26xblXohBYYADD/nJ9nHW4Zx RWSksn3BDdilrSQRDjPvv2XtD6+c2xdZ2MLeSZOH0NP7sjBsbMDqEvFbu9iN6qp0fzzOzX7m A6RoAYE2r48sM8s1oeAx27hvQ6CnJbyYzQO1l3lZV79tgJdT6y5VrOs8mnevKphLp7Gb1yvv 0okusm57cJWP66dkB3XEfkpLJup7POBIhnZs09OHoYgxRup6XWMbYBd2xAgBUZLY+IvWy7lX 1/XgixVvKRsBXqNabRmRb6xB+AB77nSJf68Wt/6NtNxM4VMLimZ9yRQVGus9mHKknl0t5ogO J2eIP2ePVxDBYtJlDOJFvogi5k1zSUDxETWd5Dx7zKj9ZG8PHe1a7M0AGGiX9ADzpGvgVvqq o5EFs6w1R9gfvX0YXDX/a4tPFk6FyUHKq6smfNHVNyoA1RAKDk6Bu7z0IERXdVvv55om9fi+ lC/XU5ly2TDu0DXFDXSVFddbOLAYJUui1M6Ii0mAniw0VcBf4uEzfkSZrk3T5Yd5c1hyv94Y MceSfqmHP50Eyv2yxYFZoigqYdjVQ+KgDiWNHGPewkPfJ9HRi3I9OT7fwDpyjI8MyqvueY6o Jyizgn+Q6dfdz99Dc3TVu2j/2mxsVcZhuh2eUnCeftXR2nB76loLHbXosIsAsRRNyjG+CSW5 zyWDTgcu+PJhY0/q/vNpKKcqraWA/lMJVVbE0bb/ISJG3HjpET7+rB5UcGMYTz5f0H38v/7Z exqktfNAMdel1NO64dBA7JnyJwl3OTWpphY8FVAPG7KZFGVGL9fMiG4/c1QhJZsmJ5dmyWLA 3yqxPcLGI+0KPvEEUEQLjULdu6s9+8ZsRiM4OUXIHfV3j5W/r2GXEN4LhPXiHF4EJpqFIYb3 Ox6gdMk7S2+rjEIMd+2qD9e2ErRD34HUoQh7oo7Bq2ygCUV61hyW77uIQ6o34OqdPNNLVgMI BGYoIHgloZs7BPOXFRrHEecwNcHo4oFvS576WMrJnOLq4LjveA21hgAygYHZF1Z4Tsf2t0iJ 1UxEVN+IJiP2DJahMJjeWSIMCMZDT27/n3B8Xc4pFf7fWKJCFOUdHYcPNyT9n8362hfJzhX3 I+JwVbfDArFQpvD4TsQa2VE9drTFNB/z1iX0oTvVcGIBIIzbjfZk7ejLzhA4QfuBcQqwlbLv 6929eJ3crf2LjMUv7Z9MYSByLAMU1qREQSumx26EH8hRgkwuQ1e2ARi72ijYtlKN+2Tqxf+B sp1OoRBTXxSEcpIQi8zXcYxz31cxZbFJ+buvpv3KGoLuLya6yJgqpPLsCbk7IPua8s7it4zc +s9aBrbelF9RhJod6vlsMRAN2G/ZJwcbRf9x6a76o3l0n7FXP5EKSkP71d/g5lZ3MaLMf5ZU MMvqpI6F9Bf9Lk=
- Ironport-hdrordr: A9a23:Xa45xqHx+ik1hp4opLqE1MeALOsnbusQ8zAXPjNKOHtom6uj5r qTdZUgpGTJYFR4Yh0dcLW7V5VoLkmsl6KdjbNhW4tKPzOW3VdATrsSjrcKqgeIc0aVm4886U 4KSdkHNDSfNykCsS+32njdLz/++re6zJw=
- Ironport-phdr: A9a23:9EwdixAHxUxyv1zpF6ZmUyQUUUoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua8zygaWDc6Lu7ptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys+pDfeRhEiTi+bL99L xi7rhjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3T bpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8 qxlSgLniD0fOjA6/m/YhcJ/gqJFrhy8uxNxzJXZYJ2XOfdkYq/RYc0WSGhHU81MVyJBGIS8b 44XAuQfPeZftY79rEYNohu/AAmsAf3gyiVNhnDs26061fkqHAba3AwgAd0Ot27YrdT0NKcXV OC60rPIzTDZYPNQ3zfw85TIfQ4lof6SQb1wds/RxVA3FwzflFWQqJflMymb1uQXqmWW6fdrW u2zhWA9sQ5xviSvydk2ionPno8YyV7J+TtlzYopK9O1SlJ2b9CgHZdOuS+WKYp7TMwsTmx2p is3y70LtJq7cSUOy5kq2R7SZ+GIfYWM4hzuW+icLDFlj3xrf7K/ggy98UmmyuDkV8m01kxKr itfndXWuHANzQTf6seGSvth/kehxC2A2xrP5eFDJEA5k7fQJZ05wrMoi5Yev0bOEjXrlEjyg 6KabFso9vK15+njbLjqvoGQOJVohg3jN6khhNCzDv49PwcSQ2SX5eGx26bt8ELnXLlHi+A5n rfHvJ/BIMkWpbC1Dg9b0osm6RuyDjOr0NodkHYcMV1IfA+Igo70MF/UOv/4F+2wg1G0nTdr2 f/GOrrhD43ML3jbirfherl86k5BxAYt0dxT/YxbCrcaIPLvQEPxusbYAgc4Mwyy3ennFM1w2 p4QVG+NGKOVLaffvFCS6u4xOeWAeYsYtTjlJ/gg/fHujHs5mVEHfamu2JsacGy4HvR4LEWee 3btg9YBEWIPvgUgVuzqjUeNUThVZ3upQ6Iz+DU7B5y6AofEQ4ChmaSB0z2hHp1XfWBKEF6ME W3we4WCQPgDcDiSLdN5kjwYSbihTJcs2Qy2uA/g17VnNvbU+jEftZ/7yNd14PTTmQgu+jxwE sSSyHqAT3p0n2MNXz85xrpzoU17yleZ0Kh3meZUFdJJ56ABbgBvPpnFiud+FtraWwTbf97PR kziCt6hGHI4SNQ23tkFbkNwHcm5phzCxCGtHqUOmrmCBZhy+aXZjFbrIMMo93ZH0+ETjlwjT 9FKPGugzvpj9wXUQZzIlkCUjaOjc6I0wCPJ+WyEyC+WtVtZS0h+S/OWDjgkekLKoIGhtQv5R Li0BOF/WuMg4cuLK68QL8bskU0DXvDoftLXf2O2nW60QxeO3LKFKoTwKC0GxCuILk8CnkgI+ GqecxAkD3K9o2/ZSi5vEFfieUbl9+9WtH6/Q0QzykSSZldgzPy74E1dnuSSHssaxalMoyI9s 3NxFVe50cjRDo+cpwdmOrddZNYw+lJO02TxqwF5M5enKuV6j0QfaEJ5pRCmzA15X6NHl8Vit 3Y21ExyJKafhUtGbC+d1IvsN6f/OHHo+wC+MvSOnFzYy8rQ9L1nBO0QjVLlsUnpE0Mj9y8iy NxJyz6G4Z6MCgMOUJX3W0Jx9h5gpricbDNvr4XTnWZhN6W5qFqgk5ogGfclxxC8ftxeLLLMF Qn8FNcfDtSvL+pikkagbxYNNuRfvKAuOMbue/yD0a+tdOFu+VDuxXhH7Yc7wEOJ8idmT+fO2 b4ZzvWV1QyCEi/1lla69M7t2MhFaTwUAmuj2H38HocCA886NY0PCGqoP4i23oAn3MGrAi8Es gTlXgJdi6rLMVKIYlfw3BNdzxESqH2jw26jyiBs1isupeyZ1TDPxOLrcFwGPHRKTS9slwSJQ 8D8gtYEUUyvdwVsmgGi4BOw26hWo+JtLmzWTF1Ndi7wB31vVqa7sb/He8dV6Yhuvz8dA4HeK RiKD6XwpRcXyXapA2tTw3YpdjSvt4/8lhp8oH6QKHt4q3+cYchqxAyZ6saWFpszlnIWASJ/j zfQHF21OdKkqM6Vm5n0uee7T2u9V5dXfEEH1Ku4vTCgrS1vCBy7xbWon8H/VBI92mn93sVrU iPBqFD9ZJPq3uK0K7Avck5tDV76o810f+M22pcwiZZWy3kfg5iP+HMBl0/vPNFW0qX7KWIEX z8QhdDPqATow0xsKHuVypmxDy7ChJIwO5/gJDpHgWo09KUoQO+M4aZBnDdpr1bwtg/XbfVn3 38cxfYo9H8GkrQMsQspwD+aB+NaFk1ZMCrw0hWQuonl8+MONTrpK/7phREt+LLpRKuPqQxdR nvjL5IrHCsqq956LEqJynr4rIftZNjXa9sX8BySiRbJyeZPe/dT3rIHgzRqPWXlsDgr0ek+2 FZy3Zy9+pqGLmBg5qewBBhwKjDxasgU/3T1hLxfhYCYxcr8e/cpUiVOR5buQf+yRXgOtfngc RSPFTgxsHKSH7z3AQKb5UxhqjfXGoqqLDeZPjNKqLcqDAnYL0tZjgcOWTw8lZNsDQGmyvvqd 0Jh7ywQ7Fr1+VNcj/hlPB7lXiLDtR+lP30qHYOHIkMcvWQgrw/FdNaT5eVpE2RE8429+UaTf 3eDaV0ADHlVCBXfWBa6b+Xov5+ZorLfXbLbTbOGYK3Q+7YGD67am8z3gNA9pzjebJfdNSElV qdlkktbASIgQJufwmRTDXZRy3+oDYbTpQ/iqHcv9pntrqqzClm0vYXdUekAa9kn+gjq0/7Ya KjJ1Xo/c3ABjcNLniatqvBX3UZM2Xs2L2D/T+pY53WWFKyCwP0FXxdcMnksfMpQs/BlhVYLY J+HzImzjOQgyaVtbjUNHV35xJPzPZRTcT/jbAGcXx6FZu7UdzHAhJitP+vrQLlUxo24rjWWv jCWWw/mNzWHzXzyUgy3dPtLh2edNQBfv4e0dlBsD3LiRZTocE/zNtg/ljAwzbAu4xGCfWcBL ThxdV9MpbyM/GtZhPt4AWlI8ntiK6GNhS+Y6+DSLptev+FsB2x4kOdT4XJyzLUwjmkMXPtuh C7btcJjuXm0ivOI2is+CkIIpzBQmMSFpwQqOKnU8IVBRWeR/B8J6jb1aVxCrN9kB9vz/qFIn 4GUy+SqeWsEqZSNrJBPYqqcYNiKO3cgLxfzTTvdDQ9fCCWuKXmanUtW1veb6nySqJE+7Jnqg psHDLFBBzlXXrsXDFpoGNsaLdJ5RDQhxPSHjMMPo2i/qRzcXsBTuJbvSv+WDP7oLXOBhKNFf F0G2/mrSOZbfp2+wEFkZlRgyc7SHFHMWNlWviB7Rh0sukJd4SEkFis+3Vn5LA23qix2d7b8j ls9jQ1wZv4o/THn7gIsJ1bEkyA3lVE4hdTvhT35mN/ZPr+qWpFHUnCs8UU3KY+9TRwnNWVac mR4OTPJTLVUyqNpb2FwzgHG68In8Rt0UaBAbRQXwLSPbu8pyhJSsHf/rXI=
- Ironport-sdr: 65086eec_E2Lv/v5de7dRF3/sGm9Fyvgruxn871HdgGFwAOHrysHVd6w esjcUpb8t1C+mOXd2dy2p8fBYel1VjwtYJ4tr7g==
Dear Coq community,
As the release manager of Coq 8.17, and on behalf of the Coq development team and the Coq Platform team, I am happy to announce the immediate availability of the Coq Platform 2023.03.0 release.
(This release is named after the month of March 2023, during which the initial Platform release was planned, but because of significant delays due to numerous issues when preparing installers for Windows, macOS, etc., it includes a package pick that has been refreshed in August 2023.)
Release highlights:
- The latest version of Coq has been updated to 8.17.1, which includes many improvements (see the Coq release notes https://coq.inria.fr/refman/changes.html#version-8-17).
The main supported version is Coq 8.17.1.
Several package picks providing Coq 8.12 to 8.16 are available, including one for Coq 8.16 with a package collection that tries to be as similar as possible to the 8.17.1 pick.
Installers for Coq 8.17 are available for Windows, macOS, and Linux (Snap).
You can also install the Coq Platform using opam-based scripts, which give you access to the main supported version, as well as any of the many compatibility versions.
To learn about the Coq Platform and get access to the installers, please refer to: https://github.com/coq/platform/releases/tag/2023.03.0
- [Coq-Club] Coq Platform 2023.03.0 release with Coq 8.17.1, Théo Zimmermann, 09/18/2023
Archive powered by MHonArc 2.6.19+.