From 4ded60916f195278ccc8cbdc8f08a8e941a368c6 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Wed, 27 Jul 2022 11:28:24 +0200 Subject: [PATCH] gnat, gnatprove 12.1.1 (#550) * 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 --- .../gn/gnat_arm_elf/gnat_arm_elf-12.1.1.toml | 27 +++++++++++++++++++ .../gn/gnat_arm_elf/gnat_arm_elf-12.1.2.toml | 27 +++++++++++++++++++ .../gn/gnat_avr_elf/gnat_avr_elf-12.1.1.toml | 27 +++++++++++++++++++ .../gn/gnat_avr_elf/gnat_avr_elf-12.1.2.toml | 27 +++++++++++++++++++ index/gn/gnat_native/gnat_native-12.1.1.toml | 27 +++++++++++++++++++ index/gn/gnat_native/gnat_native-12.1.2.toml | 27 +++++++++++++++++++ .../gnat_riscv64_elf-12.1.1.toml | 27 +++++++++++++++++++ .../gnat_riscv64_elf-12.1.2.toml | 27 +++++++++++++++++++ index/gn/gnatprove/gnatprove-12.1.1.toml | 26 ++++++++++++++++++ 9 files changed, 242 insertions(+) create mode 100644 index/gn/gnat_arm_elf/gnat_arm_elf-12.1.1.toml create mode 100644 index/gn/gnat_arm_elf/gnat_arm_elf-12.1.2.toml create mode 100644 index/gn/gnat_avr_elf/gnat_avr_elf-12.1.1.toml create mode 100644 index/gn/gnat_avr_elf/gnat_avr_elf-12.1.2.toml create mode 100644 index/gn/gnat_native/gnat_native-12.1.1.toml create mode 100644 index/gn/gnat_native/gnat_native-12.1.2.toml create mode 100644 index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.1.toml create mode 100644 index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.2.toml create mode 100644 index/gn/gnatprove/gnatprove-12.1.1.toml diff --git a/index/gn/gnat_arm_elf/gnat_arm_elf-12.1.1.toml b/index/gn/gnat_arm_elf/gnat_arm_elf-12.1.1.toml new file mode 100644 index 00000000..50361630 --- /dev/null +++ b/index/gn/gnat_arm_elf/gnat_arm_elf-12.1.1.toml @@ -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"] diff --git a/index/gn/gnat_arm_elf/gnat_arm_elf-12.1.2.toml b/index/gn/gnat_arm_elf/gnat_arm_elf-12.1.2.toml new file mode 100644 index 00000000..47e9e311 --- /dev/null +++ b/index/gn/gnat_arm_elf/gnat_arm_elf-12.1.2.toml @@ -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"] diff --git a/index/gn/gnat_avr_elf/gnat_avr_elf-12.1.1.toml b/index/gn/gnat_avr_elf/gnat_avr_elf-12.1.1.toml new file mode 100644 index 00000000..289b6211 --- /dev/null +++ b/index/gn/gnat_avr_elf/gnat_avr_elf-12.1.1.toml @@ -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"] diff --git a/index/gn/gnat_avr_elf/gnat_avr_elf-12.1.2.toml b/index/gn/gnat_avr_elf/gnat_avr_elf-12.1.2.toml new file mode 100644 index 00000000..14862f50 --- /dev/null +++ b/index/gn/gnat_avr_elf/gnat_avr_elf-12.1.2.toml @@ -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"] diff --git a/index/gn/gnat_native/gnat_native-12.1.1.toml b/index/gn/gnat_native/gnat_native-12.1.1.toml new file mode 100644 index 00000000..8810dacf --- /dev/null +++ b/index/gn/gnat_native/gnat_native-12.1.1.toml @@ -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"] diff --git a/index/gn/gnat_native/gnat_native-12.1.2.toml b/index/gn/gnat_native/gnat_native-12.1.2.toml new file mode 100644 index 00000000..16f9766a --- /dev/null +++ b/index/gn/gnat_native/gnat_native-12.1.2.toml @@ -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"] diff --git a/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.1.toml b/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.1.toml new file mode 100644 index 00000000..e8f29f10 --- /dev/null +++ b/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.1.toml @@ -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"] diff --git a/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.2.toml b/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.2.toml new file mode 100644 index 00000000..39c285a1 --- /dev/null +++ b/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.2.toml @@ -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"] diff --git a/index/gn/gnatprove/gnatprove-12.1.1.toml b/index/gn/gnatprove/gnatprove-12.1.1.toml new file mode 100644 index 00000000..f7f33777 --- /dev/null +++ b/index/gn/gnatprove/gnatprove-12.1.1.toml @@ -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"]