{
  "auto-gpr-with": false,
  "configuration": {
    "disabled": true
  },
  "description": "Automatic formal verification of SPARK code",
  "environment": {
    "GPR_PROJECT_PATH": {
      "prepend": "${CRATE_ROOT}/lib/gnat"
    },
    "PATH": {
      "prepend": "${CRATE_ROOT}/bin"
    }
  },
  "licenses": "GPL-3.0-or-later",
  "maintainers": [
    "chouteau@adacore.com"
  ],
  "maintainers-logins": [
    "Fabien-Chouteau"
  ],
  "name": "gnatprove",
  "origin": {
    "case(os)": {
      "linux": {
        "case(host-arch)": {
          "x86-64": {
            "binary": true,
            "hashes": [
              "sha256:28fc3583d2364c1e10790fe258c408faffa42d7ff77bb81dc18d4907608f4017"
            ],
            "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-linux-13.2.0-1.tar.gz"
          }
        }
      },
      "macos": {
        "case(host-arch)": {
          "x86-64": {
            "binary": true,
            "hashes": [
              "sha256:d088f8a188658aa0befcb5a4a5b9211fccf7d14ba5d5a49189ba70303d5201d7"
            ],
            "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-darwin-13.2.0-1.tar.gz"
          }
        }
      },
      "windows": {
        "case(host-arch)": {
          "x86-64": {
            "binary": true,
            "hashes": [
              "sha256:c7d44efa4167551935eab485a38a5d3a592004c1553e7a32c02187602c2a5b01"
            ],
            "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-windows64-13.2.0-1.tar.gz"
          }
        }
      }
    }
  },
  "version": "13.2.1"
}