mine_detector 20220720.0.0 (#1174)

2024-08-12 12:12:56 +02:00
parent a44ad09e82
commit 5e2605c849
1 changed files with 33 additions and 0 deletions
@@ -0,0 +1,33 @@
+name = "mine_detector"
+description = "The Gnoga/Ada-GUI version of Mine Detector"
+version = "20220720"
+
+authors = ["Jeff Carter"]
+maintainers = ["Bent Bracke <bent@bracke.dk>"]
+maintainers-logins = ["bracke"]
+licenses = "GPL-3.0-or-later"
+website = "https://github.com/bracke/Mine_Detector"
+tags = ["minedetector", "game"]
+long-description = """
+# Mine_Detector
+The Ada-GUI (https://github.com/jrcarter/Ada_GUI) version of Mine Detector, an intellectually-challenging game
+"""
+executables = ["mine_detector"]
+
+[build-switches]
+"*".style_checks = "No"
+"*".ada_version = "Ada12"
+
+[[depends-on]] # Avoid bug in GNAT 13
+gnat = "<13.0 | >=13.3"
+
+[[depends-on]]
+ada_gui = "^20240224.0.0"
+
+[[depends-on]]
+ssl = "^3.0.2"
+
+[origin]
+commit = "9bd51e7b08536c836e7f37a3a5c2b23b6590d4e8"
+url = "git+https://github.com/bracke/Mine_Detector.git"
+