toolchain

gnatprove

13.2.1

Automatic formal verification of SPARK code

Repository Community CIResults All crate versions Download JSON

13.2.1

Maintainers
chouteau@adacore.com
Maintainer profiles
@Fabien-Chouteau
Licenses
GPL-3.0-or-later
Repository
github.com/alire-project/GNAT-FSF-builds
Release artifacts
windows / x86-64, macos / x86-64, linux / x86-64
Automatic GPR dependency
no
Manifest
index/gn/gnatprove/gnatprove-13.2.1.toml
Build and platform metadata 3 fields
Configuration
{
  "disabled": true
}
Environment
{
  "GPR_PROJECT_PATH": {
    "prepend": "${CRATE_ROOT}/lib/gnat"
  },
  "PATH": {
    "prepend": "${CRATE_ROOT}/bin"
  }
}
Artifact origin rules
{
  "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"
        }
      }
    }
  }
}