toolchain

gnatprove

11.2.3

Automatic formal verification of SPARK code

Repository Community CIResults All crate versions Download JSON

11.2.3

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-11.2.3.toml
Build and platform metadata 3 fields
Configuration
{
  "disabled": true
}
Environment
{
  "PATH": {
    "prepend": "${CRATE_ROOT}/bin"
  }
}
Artifact origin rules
{
  "case(os)": {
    "linux": {
      "case(host-arch)": {
        "x86-64": {
          "binary": true,
          "hashes": [
            "sha256:f7ece6d3edec1c6378054938614428e2f2f3a86ec994537b3e6943bb42fe2d22"
          ],
          "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-linux-11.2.0-3.tar.gz"
        }
      }
    },
    "macos": {
      "case(host-arch)": {
        "x86-64": {
          "binary": true,
          "hashes": [
            "sha256:454d37adc3c7b094d75e8d6050b27ca4387a4a420b3e0b99e32c0fe86c296d4a"
          ],
          "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-darwin-11.2.0-3.tar.gz"
        }
      }
    },
    "windows": {
      "case(host-arch)": {
        "x86-64": {
          "binary": true,
          "hashes": [
            "sha256:cd184fa03d5f85927711d5c775b8d1017afa2857b69f33b07f36a3a3fccc98ef"
          ],
          "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-11.2.0-3/gnatprove-x86_64-windows64-11.2.0-3.tar.gz"
        }
      }
    }
  }
}