From 5e2605c849dad56c7e44d56b586f38538cf46259 Mon Sep 17 00:00:00 2001 From: Bent Bracke Date: Mon, 12 Aug 2024 12:12:56 +0200 Subject: [PATCH] mine_detector 20220720.0.0 (#1174) --- .../mine_detector-20220720.0.0.toml | 33 +++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 index/mi/mine_detector/mine_detector-20220720.0.0.toml diff --git a/index/mi/mine_detector/mine_detector-20220720.0.0.toml b/index/mi/mine_detector/mine_detector-20220720.0.0.toml new file mode 100644 index 00000000..059fb2bf --- /dev/null +++ b/index/mi/mine_detector/mine_detector-20220720.0.0.toml @@ -0,0 +1,33 @@ +name = "mine_detector" +description = "The Gnoga/Ada-GUI version of Mine Detector" +version = "20220720" + +authors = ["Jeff Carter"] +maintainers = ["Bent Bracke "] +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" +