toolchain

gnatprove

12.1.1

Automatic formal verification of SPARK code

Repository Community CIResults All crate versions Download JSON

12.1.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-12.1.1.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:e1e1ce47c7097b0a7a8cecbb132784f6e6cbcc0550ad8d96cf3dce39db47464d"
          ],
          "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-linux-12.1.0-1.tar.gz"
        }
      }
    },
    "macos": {
      "case(host-arch)": {
        "x86-64": {
          "binary": true,
          "hashes": [
            "sha256:eaf963490fc0b8c4467854b8f4a7659e4df39094699b014b90d9cd87b46cb987"
          ],
          "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-darwin-12.1.0-1.tar.gz"
        }
      }
    },
    "windows": {
      "case(host-arch)": {
        "x86-64": {
          "binary": true,
          "hashes": [
            "sha256:571a96b388d4c39989045bbe6678c04908d32f03ba2c316c7be92349e0276371"
          ],
          "url": "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-12.1.0-1/gnatprove-x86_64-windows64-12.1.0-1.tar.gz"
        }
      }
    }
  }
}