From a5d3cbeb6d46a1e2e14a15d48f7c749501da9623 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Wed, 8 Nov 2023 17:54:21 +0100 Subject: [PATCH] gnatprove 13.2.1 --- index/gn/gnatprove/gnatprove-13.2.1.toml | 26 ++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 index/gn/gnatprove/gnatprove-13.2.1.toml diff --git a/index/gn/gnatprove/gnatprove-13.2.1.toml b/index/gn/gnatprove/gnatprove-13.2.1.toml new file mode 100644 index 000000000..eaa9e8842 --- /dev/null +++ b/index/gn/gnatprove/gnatprove-13.2.1.toml @@ -0,0 +1,26 @@ +name = "gnatprove" +version = "13.2.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" + +[origin."case(os)".windows."case(host-arch)".x86-64] +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" +hashes = ["sha256:c7d44efa4167551935eab485a38a5d3a592004c1553e7a32c02187602c2a5b01"] + +[origin."case(os)".macos."case(host-arch)".x86-64] +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" +hashes = ["sha256:d088f8a188658aa0befcb5a4a5b9211fccf7d14ba5d5a49189ba70303d5201d7"] + +[origin."case(os)".linux."case(host-arch)".x86-64] +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" +hashes = ["sha256:28fc3583d2364c1e10790fe258c408faffa42d7ff77bb81dc18d4907608f4017"]