Coq Platform 2021.02.2
This release contains the same version of Coq and Coq packages as the 2021.02.1 release. A new release was required because of incompatible changes in opam and Cygwin. The list of changes is:
- support for opam 2.1.0 (which integrates the opam system dependency manager depext - this needed a few adjustments)
- fix issues with Cygwin binutils
- various minor fixes for the Snap package (support gappa, clightgen, ...)
- various minor fixes to the Windows installer (add icon for CoqIDE, ...)
- minor cleanup and improvements of the Coq Platform scripts
See the ReadMe for details on the names and versions of the included packages.
There are two ways to install the Coq Platform:
-
Beginners are advised to rely on the binary packages. There are a DMG installer package for macOS, 32 and 64 bit Windows installers (see asset list below) and a Snap installer (see README_Linux for details).
-
Experienced users are advised to install from source using the opam based interactive platform scripts.
See the following OS-specific documentation for details:
- macOS: see README_macOS.
- Windows: see README_Windows
- Linux: see README_Linux.
Notes regarding the macOS installer: This installer is only compatible with macOS 10.13 or higher. Because the application is signed but not "notarized", on macOS 10.15 (Catalina) and 11.X (BigSur), it won't open by default, unless you right-click the application in Finder and chose Open. Cf. #51 to learn more.