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

coq-debuginfo-8.4pl1-1.mga3 RPM for i586

From Mageia Cauldron for i586 / media / debug / core / release

Name: coq-debuginfo Distribution: Mageia
Version: 8.4pl1 Vendor: Mageia.Org
Release: 1.mga3 Build date: Tue Jan 15 13:00:44 2013
Group: Development/Debug Build host: ecosse.mageia.org
Size: 0 Source RPM: coq-8.4pl1-1.mga3.src.rpm
Packager: boklm <boklm>
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

LGPLv2

Changelog

* Mon Jan 14 2013 malo <malo> 8.4pl1-1.mga3
  + Revision: 387353
  - new bugfix release 8.4pl1
  - remove patch which was included upstream
* Fri Jan 11 2013 umeabot <umeabot> 8.4-3.mga3
  + Revision: 348157
  - Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild
* Tue Oct 02 2012 blue_prawn <blue_prawn> 8.4-2.mga3
  + Revision: 302076
  - build requires ocaml-compiler-libs
  - rebuild with new ocaml 4.00
  - also include documentation
* Sun Aug 26 2012 malo <malo> 8.4-1.mga3
  + Revision: 284166
  - missing buildrequires on camlp4-devel
  - update to version 8.4
  - add patch from Gentoo for compatibility with lablgtk 2.16
  - add desktop file for the IDE
* Sun Jul 29 2012 malo <malo> 8.3pl4-1.mga3
  + Revision: 275566
  - new version 8.3pl4
  - fix requires to ocaml-compiler
* Sat Jan 14 2012 malo <malo> 8.3pl3-1.mga2
  + Revision: 195965
  - new version 8.3pl3
* Sun Oct 23 2011 malo <malo> 8.3pl2-1.mga2
  + Revision: 157538
  - imported package coq
* Mon Jul 18 2011 Guillaume Rousse <guillomovitch@mandriva.org> 8.3pl2-1mdv2012.0
  + Revision: 690589
  - new version
* Mon Dec 20 2010 Guillaume Rousse <guillomovitch@mandriva.org> 8.3-3mdv2011.0
  + Revision: 623284
  - new version
  
    + Oden Eriksson <oeriksson@mandriva.com>
      - rebuild
* Wed Feb 10 2010 Guillaume Rousse <guillomovitch@mandriva.org> 8.2pl1-2mdv2010.1
  + Revision: 503738
  - rebuild
  - new version

Files

No Filelist in the Package !

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Jun 7 08:24:17 2013