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

coq-ide-8.3-3mdv2011.0 RPM for x86_64

From Mandriva 2011 for x86_64 / media / contrib / release

Name: coq-ide Distribution: Mandriva Linux
Version: 8.3 Vendor: Mandriva
Release: 3mdv2011.0 Build date: Mon Dec 20 13:55:16 2010
Group: Sciences/Computer science Build host: celeste.mandriva.com
Size: 22409546 Source RPM: coq-8.3-3mdv2011.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

* 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
* 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 <tv@mandriva.org>
      - 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/lib64/coq/ide
/usr/lib64/coq/ide/.coqide-gtk2rc
/usr/lib64/coq/ide/FAQ
/usr/lib64/coq/ide/command_windows.cmi
/usr/lib64/coq/ide/config_lexer.cmi
/usr/lib64/coq/ide/config_parser.cmi
/usr/lib64/coq/ide/coq.cmi
/usr/lib64/coq/ide/coq.png
/usr/lib64/coq/ide/coq_commands.cmi
/usr/lib64/coq/ide/coq_lex.cmi
/usr/lib64/coq/ide/coq_tactics.cmi
/usr/lib64/coq/ide/coqide.cmi
/usr/lib64/coq/ide/gtk_parsing.cmi
/usr/lib64/coq/ide/ide.a
/usr/lib64/coq/ide/ide.cma
/usr/lib64/coq/ide/ide.cmxa
/usr/lib64/coq/ide/ideutils.cmi
/usr/lib64/coq/ide/preferences.cmi
/usr/lib64/coq/ide/tags.cmi
/usr/lib64/coq/ide/typed_notebook.cmi
/usr/lib64/coq/ide/undo.cmi
/usr/lib64/coq/ide/utf8_convert.cmi
/usr/lib64/coq/ide/utils
/usr/lib64/coq/ide/utils/config_file.cmi
/usr/lib64/coq/ide/utils/configwin.cmi
/usr/lib64/coq/ide/utils/configwin_ihm.cmi
/usr/lib64/coq/ide/utils/configwin_keys.cmi
/usr/lib64/coq/ide/utils/configwin_messages.cmi
/usr/lib64/coq/ide/utils/configwin_types.cmi
/usr/lib64/coq/ide/utils/editable_cells.cmi
/usr/lib64/coq/ide/utils/okey.cmi
/usr/share/doc/coq-ide
/usr/share/doc/coq-ide/INSTALL.ide


Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Dec 10 02:20:08 2017