Coq 8.12.2 is out

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
(, 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