source

mine_detector

20220720

The Gnoga/Ada-GUI version of Mine Detector

GitHub Community CIResults Version page Download JSON

20220720

Mine_Detector

The Ada-GUI (https://github.com/jrcarter/Ada_GUI) version of Mine Detector, an intellectually-challenging game

Authors
Jeff Carter
Maintainers
Bent Bracke <bent@bracke.dk>
Maintainer profiles
@bracke
Licenses
GPL-3.0-or-later
Website
https://github.com/bracke/Mine_Detector
Repository
github.com/bracke/Mine_Detector
Source revision
9bd51e7b0853
Tags
minedetector, game
Executables
mine_detector
Manifest
index/mi/mine_detector/mine_detector-20220720.0.0.toml
Build and platform metadata 1 field
Build switches
{
  "*": {
    "ada_version": "Ada12",
    "style_checks": "No"
  }
}