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

coq-ide-8.2-1mdv2009.1 RPM for i586

From Mandriva 2009.1 for i586 / media / contrib / release

Name: coq-ide Distribution: Mandriva Linux
Version: 8.2 Vendor: Mandriva
Release: 1mdv2009.1 Build date: Thu Feb 19 12:10:02 2009
Group: Sciences/Computer science Build host: n2.mandriva.com
Size: 18558336 Source RPM: coq-8.2-1mdv2009.1.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

* 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

/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.png
/usr/share/doc/coq-ide
/usr/share/doc/coq-ide/INSTALL.ide


Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Dec 10 01:14:36 2017