Stream: Coq Platform devs & users

Topic: 8.12.0.alpha1 release

view this post on Zulip Michael Soegtrop (Jul 30 2020 at 08:52):

I just made the first preview release of the Coq platform - 8.12.0.alpha1.

See the of this tag for information on the status and usage. Notably it is currently for Windows and macOS only, but Linux is already prepared and just needs to be debugged. Since I use opam depext for installing system dependencies (except for opam itself) it should be easy to port.

Please let me know, what you think!

Last updated: May 19 2024 at 16:02 UTC