From a3be2992f0df6bc371f11c6c66dde973558092db Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9sar=20Sagaert?= Date: Tue, 6 Jan 2026 11:37:12 +0100 Subject: [PATCH] gprconfig_kb 26.0.0 (#1741) --- index/gp/gprconfig_kb/gprconfig_kb-26.0.0.toml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 index/gp/gprconfig_kb/gprconfig_kb-26.0.0.toml diff --git a/index/gp/gprconfig_kb/gprconfig_kb-26.0.0.toml b/index/gp/gprconfig_kb/gprconfig_kb-26.0.0.toml new file mode 100644 index 00000000..ff89230b --- /dev/null +++ b/index/gp/gprconfig_kb/gprconfig_kb-26.0.0.toml @@ -0,0 +1,17 @@ +name = "gprconfig_kb" +version = "26.0.0" +description = "GPRCONFIG Knowledge Database" +authors = ["AdaCore"] +licenses = "GPL-3.0-or-later WITH GCC-exception-3.1" +maintainers = ["chouteau@adacore.com", "sagaert@adacore.com"] +maintainers-logins = ["Fabien-Chouteau", "AldanTanneo"] +project-files = [] +auto-gpr-with = false + +[configuration] +disabled = true + +[origin] +binary = true +url = "https://github.com/AdaCore/gprconfig_kb/archive/refs/tags/v26.0.0.zip" +hashes = ["sha512:8d626e9805c6757f7aeb6871726811d19169c1706e97dc6690789d90df33b36ae5853d2f74095dade8b2bd12e9032a456ad7f84b8041292e68881063b20e88a8"]