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

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

From Mandriva 2007.1 for i586 / media / contrib / release

Name: coq-ide Distribution: Mandriva Linux
Version: 8.0pl3 Vendor: Mandriva
Release: 5mdv2007.0 Build date: Tue Aug 29 17:20:01 2006
Group: Sciences/Computer science Build host: n2.mandriva.com
Size: 12217836 Source RPM: coq-8.0pl3-5mdv2007.0.src.rpm
Packager: Guillaume Rousse <guillomovitch@mandriva.org>
Url: http://coq.inria.fr
Summary: The Coq Integrated Development Interface
The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant

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

/usr/bin/coqide
/usr/bin/coqide.byte
/usr/bin/coqide.opt
/usr/lib/coq/ide
/usr/lib/coq/ide/.coqide-gtk2rc
/usr/lib/coq/ide/FAQ
/usr/lib/coq/ide/coq.ico
/usr/lib/coq/ide/coq2.ico
/usr/lib/coq/ide/utf8.v
/usr/lib/coq/ide/utf8.vo
/usr/share/doc/coq-ide-8.0pl3
/usr/share/doc/coq-ide-8.0pl3/INSTALL.ide


Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Dec 10 00:49:17 2017