Stream: Coq devs & plugin devs

Topic: V8.12+beta1 tag

Théo Zimmermann (Jun 12 2020 at 22:50):

Dear package managers,

Théo Zimmermann (Jun 12 2020 at 22:50):

The V8.12+beta1 tag has been put, it is time to start preparing packages.

Théo Zimmermann (Jun 12 2020 at 22:50):

The official announcement of the beta release will follow soon.

Last updated: Oct 16 2021 at 02:03 UTC