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

coq-ide-8.2pl1-2mdv2010.1 RPM for i586

From Mandriva 2010.1 for i586 / media / contrib / release

Name: coq-ide Distribution: Mandriva Linux
Version: 8.2pl1 Vendor: Mandriva
Release: 2mdv2010.1 Build date: Thu Feb 18 12:30:26 2010
Group: Sciences/Computer science Build host: n2.mandriva.com
Size: 18645521 Source RPM: coq-8.2pl1-2mdv2010.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 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

/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 00:58:35 2017