{
    "version": "2022.01.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/2022.01.0/Coq-Platform-8.14.2022.01-installer-windows-x86_64_signed.exe#/dl.7z",
            "hash": "3e1951f604398b569403eb0f4c0ae6623eb7073e632228609af1ef86c589a31c"
        },
        "32bit": {
            "url": "https://github.com/coq/platform/releases/download/2022.01.0/Coq-Platform-8.14.2022.01-installer-windows-i686_signed.exe#/dl.7z",
            "hash": "d45a07422c3ca017142515e8cef7c995c280ebb107326398ccae02aac31d563e"
        }
    },
    "pre_install": "Remove-Item \"$dir\\`$*\" -Recurse -Force",
    "bin": [
        "bin\\coqtop.exe",
        "bin\\coqc.exe",
        "bin\\coqchk.exe",
        "bin\\coqidetop.opt.exe"
    ],
    "shortcuts": [
        [
            "bin\\coqide.exe",
            "CoqIDE"
        ]
    ],
    "env_set": {
        "COQBIN": "bin"
    }
}