Michael Soegtrop (Jul 30 2020 at 08:52): 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: Jun 03 2023 at 05:01 UTC