diff --git a/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.4.toml b/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.4.toml
new file mode 100644
index 00000000..e2e7638d
--- /dev/null
+++ b/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.4.toml
@@ -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"]
diff --git a/index/gn/gnat_avr_elf/gnat_avr_elf-11.2.4.toml b/index/gn/gnat_avr_elf/gnat_avr_elf-11.2.4.toml
new file mode 100644
index 00000000..5312d95e
--- /dev/null
+++ b/index/gn/gnat_avr_elf/gnat_avr_elf-11.2.4.toml
@@ -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"]
diff --git a/index/gn/gnat_native/gnat_native-11.2.4.toml b/index/gn/gnat_native/gnat_native-11.2.4.toml
new file mode 100644
index 00000000..ae3c10a8
--- /dev/null
+++ b/index/gn/gnat_native/gnat_native-11.2.4.toml
@@ -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"]
diff --git a/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.4.toml b/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.4.toml
new file mode 100644
index 00000000..fdb975c8
--- /dev/null
+++ b/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.4.toml
@@ -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"]
diff --git a/index/gn/gnatprove/gnatprove-11.2.3.toml b/index/gn/gnatprove/gnatprove-11.2.3.toml
new file mode 100644
index 00000000..6ed88a56
--- /dev/null
+++ b/index/gn/gnatprove/gnatprove-11.2.3.toml
@@ -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"]