The V8.12.1 tag has been put

Developing the Coq system
1

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.

Thanks!

Your 8.12 release managers, Emilio and Théo

1 Like
2

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

Hugo