From b327b8811c53b0fa69c25d4750206cea3a4e3c58 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Thu, 11 Jul 2024 14:45:30 +0200 Subject: [PATCH] GNATprove 14 --- index/gn/gnatprove/gnatprove-14.1.1.toml | 25 ++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 index/gn/gnatprove/gnatprove-14.1.1.toml diff --git a/index/gn/gnatprove/gnatprove-14.1.1.toml b/index/gn/gnatprove/gnatprove-14.1.1.toml new file mode 100644 index 000000000..aa775aedf --- /dev/null +++ b/index/gn/gnatprove/gnatprove-14.1.1.toml @@ -0,0 +1,25 @@ +name = "gnatprove" +version = "14.1.1" +description = "Automatic formal verification of SPARK code" +maintainers = ["chouteau@adacore.com"] +maintainers-logins = ["Fabien-Chouteau"] +licenses = "GPL-3.0-or-later" + +auto-gpr-with = false + +[configuration] +disabled = true + +[environment] +PATH.prepend = "${CRATE_ROOT}/bin" +GPR_PROJECT_PATH.prepend = "${CRATE_ROOT}/lib/gnat" + +[origin."case(os)".windows."case(host-arch)".x86-64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-windows64-14.1.0-1.tar.gz" +hashes = ["sha256:0e4670a09f66b4cfa4287b63414906eb33bd4f6d93bea57af43ff82b6a28d7da"] +binary = true + +[origin."case(os)".linux."case(host-arch)".x86-64] +url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-linux-14.1.0-1.tar.gz" +hashes = ["sha256:f6ca6f8c214802b301cc7d9723f73fd088e26c4f0d80c7126993f27bf80494d4"] +binary = true