- Sun Aug 14 2011 Björn Persson <bjorn@rombobjörn.se> - 6.0-8
- Rebuilt with GtkAda-2.18.0.
- Tue Feb 8 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 8 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 9 2009 Björn Persson <bjorn@rombobjörn.se> - 6.0-2
- Fixed to link libgnat and libgcc dynamically.
- Sat Aug 8 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