gnoga_extra 20180719.0.0 (via alr publish --submit)

alire-project · Jul 19, 2024 · 3230b20 · 3230b20
1 parent 6faf741
commit 3230b20
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/index/gn/gnoga_extra/gnoga_extra-20180719.0.0.toml b/index/gn/gnoga_extra/gnoga_extra-20180719.0.0.toml
@@ -0,0 +1,23 @@
+name = "gnoga_extra"
+description = "Types and Create operations for frequently combined Gnoga widgets"
+version = "20180719"
+
+authors = ["Bent Bracke"]
+maintainers = ["Bent Bracke <[email protected]>"]
+maintainers-logins = ["bracke"]
+licenses = "BSD-3-Clause"
+website = "https://github.com/bracke/Gnoga_Extra.git"
+tags = ["gnoga", "widgets", "types"]
+
+[build-switches]
+"*".style_checks = "No"
+"*".ada_version = "Ada12"
+
+[[depends-on]] # Avoid bug in GNAT 13
+gnat = "<13.0 | >=13.3"
+
+
+[origin]
+commit = "5c2d634dd664d5167047c6ea4920c4e53313a9c6"
+url = "git+https://github.com/bracke/Gnoga_Extra.git"
+