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: Jan 30 2023 at 10:03 UTC