alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gnatprove 11.2.3, gnat 11.2.4 (#488)

Browse Source
This commit is contained in:
Fabien Chouteau
2022-03-31 21:47:00 +02:00
committed by GitHub
parent 32201de4bd
commit 7a09619df4
5 changed files with 134 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/gn/gnat_arm_elf/gnat_arm_elf-11.2.4.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_arm_elf"
version = "11.2.4"
provides = ["gnat=11.2.4"]
description = "The GNAT Ada compiler - ARM cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-linux64-11.2.0-4.tar.gz"
hashes = ["sha256:ba16d45c9d4a055e759e79692642cc50b537cd87de99dc6a845c92d8fe7380a3"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-darwin-11.2.0-4.tar.gz"
hashes = ["sha256:839811c83a395d8c8ef9ffdf5c230089ded61c9dedc5615e0960cb438c6dd0fc"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-arm-elf-windows64-11.2.0-4.tar.gz"
hashes = ["sha256:65724f2cd3c1174df8dd1499ae13a5eb4367008e61c3ba0d9cc642a78f9818cf"]
index/gn/gnat_avr_elf/gnat_avr_elf-11.2.4.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_avr_elf"
version = "11.2.4"
provides = ["gnat=11.2.4"]
description = "The GNAT Ada compiler - AVR cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-linux64-11.2.0-4.tar.gz"
hashes = ["sha256:aa9d26936210036ae062f74232b17ce46a4a4518411960e223dd9c877869eea9"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-darwin-11.2.0-4.tar.gz"
hashes = ["sha256:13b466e3cab5c8332d99e7e0054df8b2d9ce6eaf500638fc3ef5cbd5a65790ad"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-avr-elf-windows64-11.2.0-4.tar.gz"
hashes = ["sha256:c1a028004606fa01032026d91c66acc0215dad281af95095996827e81220145d"]
index/gn/gnat_native/gnat_native-11.2.4.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_native"
version = "11.2.4"
provides = ["gnat=11.2.4"]
description = "The GNAT Ada compiler - Native"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-windows64-11.2.0-4.tar.gz"
hashes = ["sha256:2f9c5d6de6d1c26bb1cee3438dcdf0277d231bfd7129d441b5e7253558da340e"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-darwin-11.2.0-4.tar.gz"
hashes = ["sha256:9800548db56698e9150252b9382a39953c4a8129d715367c6f787bee48ff1eef"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-x86_64-linux-11.2.0-4.tar.gz"
hashes = ["sha256:2f37a10bd215a679b6a4af393b56b2a4fb6ccbedd293a34764e36fea635c58b0"]
index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.4.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_riscv64_elf"
version = "11.2.4"
provides = ["gnat=11.2.4"]
description = "The GNAT Ada compiler - RISC-V cross-compiler"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = "GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1"
auto-gpr-with = false
[configuration]
disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-linux64-11.2.0-4.tar.gz"
hashes = ["sha256:f4a370b52e490ce7ed1e27be5ea70d1e75cc14f70439fa0f2207ea691c9d95dc"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-darwin-11.2.0-4.tar.gz"
hashes = ["sha256:69c6306ef68d50eb8c55677e8f2179920a33562b193f7a5c7bb2877b17f3fd7d"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-11.2.0-4/gnat-riscv64-elf-windows64-11.2.0-4.tar.gz"
hashes = ["sha256:b21d71cae05dd13309684fc0d6d60d1e440265fe1682ee70789e734037550c27"]
index/gn/gnatprove/gnatprove-11.2.3.toml
+26
View File
@@ -0,0 +1,26 @@
name = "gnatprove"
version = "11.2.3"
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(word-size)".bits-64]
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"
hashes = ["sha256:cd184fa03d5f85927711d5c775b8d1017afa2857b69f33b07f36a3a3fccc98ef"]
[origin."case(os)".macos."case(word-size)".bits-64]
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"
hashes = ["sha256:454d37adc3c7b094d75e8d6050b27ca4387a4a420b3e0b99e32c0fe86c296d4a"]
[origin."case(os)".linux."case(word-size)".bits-64]
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"
hashes = ["sha256:f7ece6d3edec1c6378054938614428e2f2f3a86ec994537b3e6943bb42fe2d22"]