Dear Coq users and contributors,
We are happy to announce the release of version 8.12.2 of the Coq
proof assistant:
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