{ "version": "2024.10.0", "description": "A formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.", "homepage": "https://coq.inria.fr/", "license": { "identifier": "Proprietary, LGPL-2.1-only, LGPL-3.0-or-later, MIT, GPL-2.0-only, BSD-2-Clause-FreeBSD, CECILL-C, BSD-3-Clause, CECILL-B, ...", "url": "https://github.com/AbsInt/CompCert/blob/master/LICENSE" }, "architecture": { "64bit": { "url": "https://github.com/coq/platform/releases/download/2024.10.0/Coq-Platform-release-2024.10.0-version.8.19.2024.10-Windows-x86_64.exe#/dl.7z", "hash": "4ed20dfde61151b7c7f81277a0c4e3da2b08bd0f65c554bb6823be62e95aa4cb" } }, "pre_install": "Remove-Item \"$dir\\`$*\", \"$dir\\Uninstall*\" -Recurse -Force", "bin": [ "bin\\coqtop.exe", "bin\\coqc.exe", "bin\\coqchk.exe", "bin\\coqidetop.opt.exe" ], "shortcuts": [ [ "bin\\coqide.exe", "CoqIDE", "", "bin\\coq.ico" ] ], "env_set": { "COQBIN": "$dir\\bin" }, "checkver": { "url": "https://api.github.com/repositories/212040108/releases/latest", "regex": "Coq-Platform-release-([\\d.]+)-version.(?[\\d.]+)-Windows-x86_64.exe", "reverse": true }, "autoupdate": { "architecture": { "64bit": { "url": "https://github.com/coq/platform/releases/download/$version/Coq-Platform-release-$version-version.$matchCoqver-Windows-x86_64.exe#/dl.7z" } } } }