Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

coq-debug-8.0pl3-5mdv2007.0 RPM for i586

From Mandriva 2007.0 for i586 / media / debug_contrib / release

Name: coq-debug Distribution: Mandriva Linux
Version: 8.0pl3 Vendor: Mandriva
Release: 5mdv2007.0 Build date: Tue Aug 29 17:20:01 2006
Group: Development/Debug Build host: n2.mandriva.com
Size: 0 Source RPM: coq-8.0pl3-5mdv2007.0.src.rpm
Packager: Guillaume Rousse <guillomovitch@mandriva.org>
Url: http://coq.inria.fr
Summary: Debug information for package coq
This package provides debug information for package coq.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

LGPL

Changelog

* Tue Aug 29 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-5mdv2007.0
  - Rebuild
* Mon Mar 27 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-4mdk
  - buildrequires
* Fri Mar 17 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-3mdk
  - disable stripping, as it breaks binaries
* Wed Mar 15 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-2mdk
  - add patch for ocaml 3.0.9
  - buildrequires
* Thu Mar 02 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-1mdk
  - first mdk release

Files

No Filelist in the Package !

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Dec 10 01:36:20 2017