Stream: Coq Platform devs & users

Topic: Release 8.11.2.alpha3

view this post on Zulip Michael Soegtrop (Aug 10 2020 at 14:45):

I just did an alpha3 release for Coq 8.11.2. The alpha3 release for Coq 8.12.0 will come soon (main effort is to remove the development opam repos). This brings a major rework of the script - it is much shorter now since I moved all package building to opam.

Last updated: Jun 03 2023 at 03:01 UTC