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: https://github.com/MSoegtropIMC/coq-platform/tree/v8.12.0.alpha1

See the ReadMe.md 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: Jan 30 2023 at 10:03 UTC