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

coq-debug-8.2-2mdv2010.0 RPM for i586

From Mandriva 2010.0 for i586 / media / debug_contrib / release

Name: coq-debug Distribution: Mandriva Linux
Version: 8.2 Vendor: Mandriva
Release: 2mdv2010.0 Build date: Mon Jun 29 10:30:13 2009
Group: Development/Debug Build host: n1.mandriva.com
Size: 0 Source RPM: coq-8.2-2mdv2010.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 Jun 30 2009 Guillaume Rousse <guillomovitch@mandriva.org> 8.2-2mdv2010.0
  + Revision: 390561
  - rebuild for latest ocaml
* Wed Feb 18 2009 Guillaume Rousse <guillomovitch@mandriva.org> 8.2-1mdv2009.1
  + Revision: 342724
  - final 8.2 version
* Sun Feb 15 2009 Guillaume Rousse <guillomovitch@mandriva.org> 8.2-0.rc2.1mdv2009.1
  + Revision: 340578
  - new release
* Mon Aug 18 2008 Guillaume Rousse <guillomovitch@mandriva.org> 8.1pl3-1mdv2009.0
  + Revision: 272986
  - new version
  
    + Thierry Vignaud <tvignaud@mandriva.com>
      - rebuild
      - kill re-definition of %buildroot on Pixel's request
  
    + Olivier Blin <oblin@mandriva.com>
      - restore BuildRoot
* Sat Sep 29 2007 Guillaume Rousse <guillomovitch@mandriva.org> 8.1pl1-1mdv2008.0
  + Revision: 93431
  - new version
  
    + Pascal Terjan <pterjan@mandriva.org>
      - Rebuild to sync with x86_64
      - Import coq
* Wed Aug 30 2006 Guillaume Rousse <guillomovitch@mandriva.org> 8.0pl3-5mdv2007.0
  - Rebuild
* Tue Mar 28 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:44:03 2017