| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: mine_detector-debuginfo | Distribution: Fedora Project |
| Version: 6.0 | Vendor: Fedora Project |
| Release: 18.el7 | Build date: Sat Jan 18 22:53:14 2014 |
| Group: Development/Debug | Build host: buildppc-02.phx2.fedoraproject.org |
| Size: 532693 | Source RPM: mine_detector-6.0-18.el7.src.rpm |
| Packager: Fedora Project | |
| Url: http://pragmada.x10hosting.com/mindet.html | |
| Summary: Debug information for package mine_detector | |
This package provides debug information for package mine_detector. Debug information is useful when developing applications that use this package or when debugging this package.
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/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/c1 /usr/lib/debug/.build-id/c1/0ec255fd386859f0f16effd1ff8872360e59fe /usr/lib/debug/.build-id/c1/0ec255fd386859f0f16effd1ff8872360e59fe.debug /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/usr/bin/mine_detector.debug /usr/src/debug/mine_detector-6.0 /usr/src/debug/mine_detector-6.0/b~mine_detector.adb /usr/src/debug/mine_detector-6.0/b~mine_detector.ads /usr/src/debug/mine_detector-6.0/field-operations.adb /usr/src/debug/mine_detector-6.0/field-operations.ads /usr/src/debug/mine_detector-6.0/field.ads /usr/src/debug/mine_detector-6.0/mine_detector.adb /usr/src/debug/mine_detector-6.0/user_if.adb /usr/src/debug/mine_detector-6.0/user_if.ads
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Apr 9 13:55:58 2024