Stream: Coq devs & plugin devs

Topic: V8.12+beta1 tag


view this post on Zulip Théo Zimmermann (Jun 12 2020 at 22:50):

Dear package managers,

view this post on Zulip Théo Zimmermann (Jun 12 2020 at 22:50):

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

view this post on Zulip Théo Zimmermann (Jun 12 2020 at 22:50):

The official announcement of the beta release will follow soon.


Last updated: Oct 13 2024 at 01:02 UTC