Michael Soegtrop (Aug 10 2020 at 14:45): 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