Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: mine_detector | Distribution: Fedora Project |
Version: 6.0 | Vendor: Fedora Project |
Release: 18.el7 | Build date: Sat Jan 18 22:53:14 2014 |
Group: Amusements/Games | Build host: buildppc-02.phx2.fedoraproject.org |
Size: 233556 | Source RPM: mine_detector-6.0-18.el7.src.rpm |
Packager: Fedora Project | |
Url: http://pragmada.x10hosting.com/mindet.html | |
Summary: Mine Detector, a mine-finding game |
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.
GPLv2
* Sun Sep 01 2013 Björn Persson <bjorn@rombobjörn.se> - 6.0-18 - Rebuilt with PragmARC-20130728. * Sat Aug 03 2013 Björn Persson <bjorn@rombobjörn.se> - 6.0-17 - Build only on architectures where gcc-gnat is available. * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.0-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Wed Jul 03 2013 Björn Persson <bjorn@rombobjörn.se> - 6.0-15 - Added a manual page stub. * Mon May 13 2013 Björn Persson <bjorn@rombobjörn.se> - 6.0-14 - Rebuilt with PragmARC-20130311. * Thu Jan 24 2013 Björn Persson <bjorn@rombobjörn.se> - 6.0-13 - Rebuilt with GCC 4.8. * Fri Jul 20 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.0-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Fri Jul 06 2012 Björn Persson <bjorn@rombobjörn.se> - 6.0-11 - Added a patch to adapt to an API change in GTKada 2.24.2. * Thu Jan 05 2012 Björn Persson <bjorn@rombobjörn.se> - 6.0-10 - Rebuilt with GCC 4.7. * Mon Aug 15 2011 Björn Persson <bjorn@rombobjörn.se> - 6.0-9 - Trying again to rebuild with GtkAda-2.18.0. * Sun Aug 14 2011 Björn Persson <bjorn@rombobjörn.se> - 6.0-8 - Rebuilt with GtkAda-2.18.0. * Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 6.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild * Mon Jan 24 2011 Björn Persson <bjorn@rombobjörn.se> - 6.0-6 - Removed a workaround that is no longer needed. * Wed Jan 19 2011 Björn Persson <bjorn@rombobjörn.se> - 6.0-5 - Rebuilt with GtkAda-2.14.1. * Thu Jul 08 2010 Björn Persson <bjorn@rombobjörn.se> - 6.0-4 - Rebuilt with GCC 4.5. * Tue Jan 26 2010 Björn Persson <bjorn@rombobjörn.se> - 6.0-3 - Clarified the license situation. - All source file names begin with "mine_detector". * Mon Nov 09 2009 Björn Persson <bjorn@rombobjörn.se> - 6.0-2 - Fixed to link libgnat and libgcc dynamically. * Sat Aug 08 2009 Björn Persson <bjorn@rombobjörn.se> - 6.0-1 - Updated to version 6.0. - Dropped the two patches. - The license was changed in version 6.0 from GPLv2+ to GPLv2. - Updated the URLs because the PragmAda site moved. * Thu Jul 23 2009 Björn Persson <bjorn@rombobjörn.se> - 5.0-2 - Added a BuildRoot tag even though it's unnecessary. * Sun Jun 28 2009 Björn Persson <bjorn@rombobjörn.se> - 5.0-1 - ready to be submitted for review
/usr/bin/mine_detector /usr/share/applications/mine_detector.desktop /usr/share/doc/mine_detector-6.0 /usr/share/doc/mine_detector-6.0/README.Fedora /usr/share/doc/mine_detector-6.0/license.txt /usr/share/doc/mine_detector-6.0/license_clarification.mbox /usr/share/man/man1/mine_detector.1.gz /usr/share/man/sv/man1/mine_detector.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue May 9 15:12:14 2023