Name: | mine_detector |
---|---|
Version: | 6.0 |
Release: | 18.el7 |
Architecture: | x86_64 |
Group: | Amusements/Games |
Size: | 148396 |
License: | GPLv2 |
RPM: | mine_detector-6.0-18.el7.x86_64.rpm |
Source RPM: | mine_detector-6.0-18.el7.src.rpm |
Build Date: | Wed Nov 01 2017 |
Build Host: | x86-ol7-builder-03.us.oracle.com |
Vendor: | Oracle America |
URL: | http://pragmada.x10hosting.com/mindet.html |
Summary: | Mine Detector, a mine-finding game |
Description: | Mine Detector is a mine-finding game with somewhat different rules from other mine-finding games. Mine Detector rarely requires guessing. Only at the higher levels may guessing sometimes be the only way to win. |
- Rebuilt with PragmARC-20130728.
- Build only on architectures where gcc-gnat is available.
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
- Added a manual page stub.
- Rebuilt with PragmARC-20130311.
- Rebuilt with GCC 4.8.
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
- Added a patch to adapt to an API change in GTKada 2.24.2.
- Rebuilt with GCC 4.7.
- Trying again to rebuild with GtkAda-2.18.0.