Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq 8.12.2 is out

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.12.2 is out


Chronological Thread 
  • From: Théo Zimmermann <theo AT irif.fr>
  • To: Coq Club <coq-club AT inria.fr>, coq+announcements AT discoursemail.com
  • Subject: [Coq-Club] Coq 8.12.2 is out
  • Date: Thu, 24 Dec 2020 12:07:33 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo AT irif.fr; spf=Pass smtp.mailfrom=theo AT irif.fr; spf=None smtp.helo=postmaster AT korolev.univ-paris7.fr
  • Ironport-phdr: 9a23:1MmbHxRLlOBGeW76acwdBG3EVNpsv+yvbD5Q0YIujvd0So/mwa6zZRON2/xhgRfzUJnB7Loc0qyK6v+mAzRRqs7e+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi0oAnLqMUanY9vJqktxhbLv3BFZ/lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lCsKMSMy/XrJgcJskq1UvBOhpwR+w4HKZoGVKOF+db7Zcd8DWGZNQtpdWylHD4ihbYUAEvABMP5XoIf9qVUArgawCxewC+3g0TJImmb20Lcm3+g9DQ3L3gotFM8OvnTOq9X1Mb8fX/61zK7SyjXMd/BZ2Tb46IjNbB8hu/SMUqh2ccrX1EIiEB/FjlWOpoziJD6V1/4Ns2mV7+Z6W+KvkXcqpgdsqTeg2skikJPGhp4Jyl/a7yV5xp44KcO6RUB7b9OoDIVcuiGUOYdoXs8vQWJltDg6xLACt5O2cigHxIolyhPBZfGKb4iF7B3+WOieIjp1gHxrdbKhixu07EOuxOr8Vsyu31ZLqCpIitbMtnER1xzT98iIUeFx8Vum2TaK0Q3Y9+JKIVgsmKbGL5MszaQ8moQTvEnMBCP7mVj6gLWLekgq+eWk8/rrbqniq5OGNIJ5ihvyPrkvl8G9G+g1PQoDUm6G8uqmzrLj51f2QLBSg/02jKbZtJfaKNwYpq6+GQ9V1YIj5AihDzu8zdQYm3gHLExcdBKflYfpIVDOIOv6APuljVSsii9nx/HAPrL/HpXANmXPnbPucLpn9UJRyAU+wcpe6p5JEL0NPfz+V0zpuNzdFBA5Mgi0w+j9CNV604MTQX6PAq+HP6PVqlKI5/gvI+iCZIMPtjb9MeAp5+Tygn8hhV8dYa6p0IMLZ3C/B/RqOlmWYX7xgtgaCmoKpQo/TOnyiFKYSzJTZnCyX7g95j4hEo6mA53DFciRh+mq2z7zNZlLbCgSAVeVVHzsao+sWvEWaSvULNU31nQPUqHiQokn0gyovwL/xrx7NcLY+zYTso/5z9Vw7uzX0xo18G9aFcOYhl2NzmZDrGINQjIs2al5pwQp1leO1oB5mf1WU9JJsaAaGjwmPILRmrQpQ+v5XRjMK5LQEA7/E4eWRAopR9d0+OcgJkN0GtGslBfGjnirGb4b0bKRVsVtrvDsmkPpLsM48E7okbE7hgh0Q9FOOyuonPwnrlWBN8vyi0yc0p2SW+Ec0SrKrjvRzm2Uu0VVTkhtV6TbGGgWfErN8pL3/BGaQg==

Dear Coq users and contributors,

We are happy to announce the release of version 8.12.2 of the Coq
proof assistant:

https://github.com/coq/coq/releases/tag/V8.12.2

This release is virtually identical to the 8.12.1 release except for
two fixes of impacting 8.12 regressions.

In addition, the Windows installer is now based on the Coq platform
(https://github.com/coq/platform), like the one of the recently
released 8.13+beta1 version. For now, it contains the same set of
packages as the previous Windows installers.

Your 8.12 release managers (now off duty), Emilio and Théo


  • [Coq-Club] Coq 8.12.2 is out, Théo Zimmermann, 12/24/2020

Archive powered by MHonArc 2.6.19+.

Top of Page