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

coq-doc-8.4pl1-1.mga3 RPM for noarch

From Mageia Cauldron for x86_64 / media / core / release

Name: coq-doc Distribution: Mageia
Version: 8.4pl1 Vendor: Mageia.Org
Release: 1.mga3 Build date: Tue Jan 15 13:08:08 2013
Group: Documentation Build host: jonund.mageia.org
Size: 1786670 Source RPM: coq-8.4pl1-1.mga3.src.rpm
Packager: boklm <boklm>
Url: http://coq.inria.fr
Summary: Documentation for coq
 
The coq-doc package contains documentation for coq.

Provides

Requires

License

Open Publication License

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

/usr/share/doc/coq-doc
/usr/share/doc/coq-doc/Reference-Manual.pdf
/usr/share/doc/coq-doc/Tutorial.pdf

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed May 22 07:16:53 2013