From 85ec311a3c099af2133e7e64c63ee3d97bea93c5 Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Wed, 10 Jul 2024 18:16:02 +0200 Subject: [PATCH] pragmarc 20240323.0.0 (via `alr publish --submit`) --- index/pr/pragmarc/pragmarc-20240323.0.0.toml | 22 ++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 index/pr/pragmarc/pragmarc-20240323.0.0.toml diff --git a/index/pr/pragmarc/pragmarc-20240323.0.0.toml b/index/pr/pragmarc/pragmarc-20240323.0.0.toml new file mode 100644 index 000000000..6851557fa --- /dev/null +++ b/index/pr/pragmarc/pragmarc-20240323.0.0.toml @@ -0,0 +1,22 @@ +name = "pragmarc" +description = "The PragmAda Reusable Components" +version = "20240323" + +authors = ["Jeff Carter"] +maintainers = ["Bent Bracke "] +maintainers-logins = ["bracke"] +licenses = "BSD-3-Clause" +website = "https://github.com/bracke/PragmARC" +tags = ["cards","conversions","datastructures","encryption","matching","randomness","safety","sorting","taskcom","tty","containers"] + +[build-switches] +"*".style_checks = "No" +"*".ada_version = "Ada12" + +[[depends-on]] # Avoid bug in GNAT 13 +gnat = "<13.0 | >=13.3" + +[origin] +commit = "31d8919a033761d08bd86d4bb867ffa23ae8e397" +url = "git+https://github.com/bracke/PragmARC.git" +