gnatprove 14.1.1 (#1118)

2024-07-19 14:15:42 +02:00
parent dea04f4628
commit 32d9394055
1 changed files with 25 additions and 0 deletions
@@ -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