Changelog for mine_detector-6.0-12.fc18.x86_64.rpm :
Fri Jul 20 14:00:00 2012 Fedora Release Engineering - 6.0-12
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Fri Jul 6 14:00:00 2012 Björn Persson - 6.0-11
- Added a patch to adapt to an API change in GTKada 2.24.2.

Thu Jan 5 13:00:00 2012 Björn Persson - 6.0-10
- Rebuilt with GCC 4.7.

Mon Aug 15 14:00:00 2011 Björn Persson - 6.0-9
- Trying again to rebuild with GtkAda-2.18.0.

Sun Aug 14 14:00:00 2011 Björn Persson - 6.0-8
- Rebuilt with GtkAda-2.18.0.

Tue Feb 8 13:00:00 2011 Fedora Release Engineering - 6.0-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild

Mon Jan 24 13:00:00 2011 Björn Persson - 6.0-6
- Removed a workaround that is no longer needed.

Wed Jan 19 13:00:00 2011 Björn Persson - 6.0-5
- Rebuilt with GtkAda-2.14.1.

Thu Jul 8 14:00:00 2010 Björn Persson - 6.0-4
- Rebuilt with GCC 4.5.

Tue Jan 26 13:00:00 2010 Björn Persson - 6.0-3
- Clarified the license situation.
- All source file names begin with \"mine_detector\".

Mon Nov 9 13:00:00 2009 Björn Persson - 6.0-2
- Fixed to link libgnat and libgcc dynamically.

Sat Aug 8 14:00:00 2009 Björn Persson - 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 14:00:00 2009 Björn Persson - 5.0-2
- Added a BuildRoot tag even though it\'s unnecessary.

Sun Jun 28 14:00:00 2009 Björn Persson - 5.0-1
- ready to be submitted for review