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

coq-debug-8.2pl1-2mdv2010.1 RPM for x86_64

From Mandriva 2010.1 for x86_64 / media / debug_contrib / release

Name: coq-debug Distribution: Mandriva Linux
Version: 8.2pl1 Vendor: Mandriva
Release: 2mdv2010.1 Build date: Thu Feb 18 12:36:56 2010
Group: Development/Debug Build host: celeste.mandriva.com
Size: 0 Source RPM: coq-8.2pl1-2mdv2010.1.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

* Wed Feb 10 2010 Guillaume Rousse <guillomovitch@mandriva.org> 8.2pl1-2mdv2010.1
  + Revision: 503738
  - rebuild
  - new version
* Mon Jun 29 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
* Sun Aug 17 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
* Fri Sep 28 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
* 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:07:13 2017