Dear Coq community,
On behalf of the Coq development team and the Coq Platform team, we are happy to announce the immediate availability of the Coq Platform version 2024.10.0.
Release highlights:
- The MacOS installer is now not only signed, but also notarized.
- There are two major technical enhancements on Windows:
- Support for arbitrary path length has been enabled.
- Ocamlc is patched to allow 64MB stack size - this way latest fiat-crypto can be build.
The support for snap has been removed.
No new packages have been added - this will be done in a soon to follow minor release.
The main supported version is:
- Coq 8.19.2 with the first package pick from October 2024.
To learn about the Coq Platform and get access to the installers,
please refer to: