{
    "version": "1.8.0",
    "description": "IDE for the TLA+ tools.",
    "homepage": "http://lamport.azurewebsites.net/tla/toolbox.html",
    "license": "MIT",
    "url": "https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/TLAToolbox-1.8.0-win32.win32.x86_64.zip",
    "hash": "sha1:67a6380a189915ea466c722607a5cbeccbd7aa7f",
    "extract_dir": "toolbox",
    "bin": [
        "toolbox.exe",
        [
            "tla2tools.jar",
            "tlc"
        ]
    ],
    "shortcuts": [
        [
            "toolbox.exe",
            "TLA+ Toolbox"
        ]
    ],
    "suggest": {
        "pretty printer": [
            "miktex",
            "latex"
        ]
    },
    "checkver": {
        "github": "https://api.github.com/repos/tlaplus/tlaplus/releases",
        "jsonpath": "$[0].tag_name",
        "regex": "v([\\d.]+)"
    },
    "autoupdate": {
        "url": "https://github.com/tlaplus/tlaplus/releases/download/v$version/TLAToolbox-$version-win32.win32.x86_64.zip",
        "hash": {
            "url": "https://github.com/tlaplus/tlaplus/releases/tag/v$version",
            "regex": "<td>$sha1</td>\\s+<td>TLAToolbox-$version-win32\\.win32\\.x86_64\\.zip</td>"
        }
    }
}