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

gnat, gnatprove 12.1.1 (#550)

Browse Source 
* gnatprove-12.1.1

* Update gnatprove-12.1.1.toml

* Update gnatprove-12.1.1.toml

* GNAT and GNATprove 12.1.1

* Update gnat_riscv64_elf-12.1.1.toml

* Update gnat_native-12.1.1.toml

* GNAT FSF 12.1.2

* Update gnat_native-12.1.2.toml
This commit is contained in:
Fabien Chouteau
2022-07-27 11:28:24 +02:00
committed by GitHub
parent 291704c6c3
commit 4ded60916f
9 changed files with 242 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/gn/gnat_arm_elf/gnat_arm_elf-12.1.1.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_arm_elf"
version = "12.1.1"
provides = ["gnat=12.1.1"]
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-12.1.0-1/gnat-arm-elf-linux64-12.1.0-1.tar.gz"
hashes = ["sha256:a11c25f884a637ad48b2f5cde81eea7d2598c78ee5058bd8bdb90b2376b6fb47"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-arm-elf-darwin-12.1.0-1.tar.gz"
hashes = ["sha256:c148f4ec11dcfb702e77f14fad5efc1ca54b76177628be336edabac738d569fb"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-arm-elf-windows64-12.1.0-1.tar.gz"
hashes = ["sha256:7fb7c7b9689cad9901843f78187e9077f81f887aa0f79af6a6df78362be9d500"]
index/gn/gnat_arm_elf/gnat_arm_elf-12.1.2.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_arm_elf"
version = "12.1.2"
provides = ["gnat=12.1.2"]
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-12.1.0-2/gnat-arm-elf-linux64-12.1.0-2.tar.gz"
hashes = ["sha256:89ba9262ad168e2e7bf00efa5348bcae86454a9018d9058f0f5d69cc1c6bb5f0"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-arm-elf-darwin-12.1.0-2.tar.gz"
hashes = ["sha256:e76ed3b079109ba620f0d61a9888b1319600c0d802de0b1f106694036e7d7709"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-arm-elf-windows64-12.1.0-2.tar.gz"
hashes = ["sha256:a6123685359c70a32bb82cd7cdbc0a9578d35bcbc30c95effdd1a71dbb15ed0a"]
index/gn/gnat_avr_elf/gnat_avr_elf-12.1.1.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_avr_elf"
version = "12.1.1"
provides = ["gnat=12.1.1"]
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-12.1.0-1/gnat-avr-elf-linux64-12.1.0-1.tar.gz"
hashes = ["sha256:92eddc040a15e7ccf73481e535c52d97f420f0038850660a26fe4fe46bacafe4"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-avr-elf-darwin-12.1.0-1.tar.gz"
hashes = ["sha256:cafdebc5e87f597f7ff20f421acda6e61d490643e505436b748647bcade7df2a"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-avr-elf-windows64-12.1.0-1.tar.gz"
hashes = ["sha256:ba2194806300047a1dfb557b1b36de2b3689fc1b572cc6b95510ac2394b47194"]
index/gn/gnat_avr_elf/gnat_avr_elf-12.1.2.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_avr_elf"
version = "12.1.2"
provides = ["gnat=12.1.2"]
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-12.1.0-2/gnat-avr-elf-linux64-12.1.0-2.tar.gz"
hashes = ["sha256:f5dfa944043e73a884799b7642d95257702538be49b3f9798a89ccf96cb6ca2b"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-avr-elf-darwin-12.1.0-2.tar.gz"
hashes = ["sha256:d36bf876c1551c212ad1556d4b3b37cd77e6312d33faff7302240ea11c5c2af6"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-avr-elf-windows64-12.1.0-2.tar.gz"
hashes = ["sha256:62925e83166f099222d04eb64dd576ae0ae6b5d8eb904cfb47aa26fc8c116358"]
index/gn/gnat_native/gnat_native-12.1.1.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_native"
version = "12.1.1"
provides = ["gnat=12.1.1"]
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-12.1.0-1/gnat-x86_64-windows64-12.1.0-1.tar.gz"
hashes = ["sha256:a0529ef7c4196f5469daa855719c64f2e4d44aa31086c4f0101c3724e9b93fa7"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-x86_64-darwin-12.1.0-1.tar.gz"
hashes = ["sha256:da46195d3a6b0d8d9c2c5380a8aa82912a6910663377a028be386243c129782a"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-x86_64-linux-12.1.0-1.tar.gz"
hashes = ["sha256:df1f36b306359d528799b1de8629a793523347a90c9d4b72efd23c62a7279555"]
index/gn/gnat_native/gnat_native-12.1.2.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_native"
version = "12.1.2"
provides = ["gnat=12.1.2"]
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-12.1.0-2/gnat-x86_64-windows64-12.1.0-2.tar.gz"
hashes = ["sha256:3126cd6fe82b9428ba1bd50f7d7a5e108668a41da445184a6bbe13d2543fd2d0"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-x86_64-darwin-12.1.0-2.tar.gz"
hashes = ["sha256:587b912f42e758a22760fdec972b74bc596273921930f5b369bd9c3b25f298c9"]
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-x86_64-linux-12.1.0-2.tar.gz"
hashes = ["sha256:66b989b5cbb5d19b1207603f6b5fe2c7795e4725ff4b9aed0421859c57829f4f"]
index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.1.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_riscv64_elf"
version = "12.1.1"
provides = ["gnat=12.1.1"]
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-12.1.0-1/gnat-riscv64-elf-linux64-12.1.0-1.tar.gz"
hashes = ["sha256:6655a23f37716b89b241ad601035a14128196ef6da4201aed86b9d5fc9acc7d5"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-riscv64-elf-darwin-12.1.0-1.tar.gz"
hashes = ["sha256:6db1755b1915da538733e313df54c77a052661c77edd0a76054da814be896a5b"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-1/gnat-riscv64-elf-windows64-12.1.0-1.tar.gz"
hashes = ["sha256:62e3f80530ebc97154f9272a4a89b8be4420fe34467972eff2e1a9152109735d"]
index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.2.toml
+27
View File
@@ -0,0 +1,27 @@
name = "gnat_riscv64_elf"
version = "12.1.2"
provides = ["gnat=12.1.2"]
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-12.1.0-2/gnat-riscv64-elf-linux64-12.1.0-2.tar.gz"
hashes = ["sha256:1ab4ce44c6333b7bae31f29cf9b3b4ede90a6c7664c31205398d1dba507d7cd0"]
[origin."case(os)".macos."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-riscv64-elf-darwin-12.1.0-2.tar.gz"
hashes = ["sha256:7f267afeb5e0d0a7440c4ea5241bd86a116801d771ccf63c9a0f8bd2124e4535"]
[origin."case(os)".windows."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-12.1.0-2/gnat-riscv64-elf-windows64-12.1.0-2.tar.gz"
hashes = ["sha256:0e1ea31e9b8b14a7876f24a3b049095f3939b87cc6af7227c5ca17c166baf944"]
index/gn/gnatprove/gnatprove-12.1.1.toml
+26
View File
@@ -0,0 +1,26 @@
name = "gnatprove"
version = "12.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"
[origin."case(os)".windows."case(word-size)".bits-64]
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"
hashes = ["sha256:571a96b388d4c39989045bbe6678c04908d32f03ba2c316c7be92349e0276371"]
[origin."case(os)".macos."case(word-size)".bits-64]
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"
hashes = ["sha256:eaf963490fc0b8c4467854b8f4a7659e4df39094699b014b90d9cd87b46cb987"]
[origin."case(os)".linux."case(word-size)".bits-64]
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"
hashes = ["sha256:e1e1ce47c7097b0a7a8cecbb132784f6e6cbcc0550ad8d96cf3dce39db47464d"]