The V8.12.1 tag has been put

This message is to inform package managers that the V8.12.1 tag has
been put and it is time to update Coq in your favorite package
repository / registry.

A proper announcement of the release will follow (probably on Monday)
once the Windows installers are signed.


Your 8.12 release managers, Emilio and Théo

1 Like

This is the conclusion of a long effort. Cheers to 8.12.1 from my side!