I just made the first preview release of the Coq platform - 8.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