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

coq-ide-8.3pl3-1 RPM for i586

From Mandriva devel cooker for i586 / media / contrib / release

Name: coq-ide Distribution: Mandriva Linux
Version: 8.3pl3 Vendor: Mandriva
Release: 1 Build date: Thu Feb 9 07:46:28 2012
Group: Sciences/Computer science Build host: n8.mandriva.com
Size: 19104719 Source RPM: coq-8.3pl3-1.src.rpm
Packager: Andrey Bondrov <abondrov@mandriva.org>
Url: http://coq.inria.fr
Summary: The Coq Integrated Development Interface
Coq is a proof assistant which:
  - allows to handle calculus assertions,
  - check mechanically proofs of these assertions,
  - helps to find formal proofs,
  - extracts a certified program from the constructive proof
    of its formal specification.

Provides

Requires

License

LGPL

Changelog

* Thu Feb 09 2012 Andrey Bondrov <abondrov@mandriva.org> 8.3pl3-1mdv2012.0
  + Revision: 772236
  - Update BuildRequires (add tetex-latex)
  - New version 8.3pl3, update BuildRequires and build options
* Mon Jul 18 2011 Guillaume Rousse <guillomovitch@mandriva.org> 8.3pl2-1
  + 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
* 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

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/command_windows.cmi
/usr/lib/coq/ide/config_lexer.cmi
/usr/lib/coq/ide/config_parser.cmi
/usr/lib/coq/ide/coq.cmi
/usr/lib/coq/ide/coq.png
/usr/lib/coq/ide/coq_commands.cmi
/usr/lib/coq/ide/coq_lex.cmi
/usr/lib/coq/ide/coq_tactics.cmi
/usr/lib/coq/ide/coqide.cmi
/usr/lib/coq/ide/gtk_parsing.cmi
/usr/lib/coq/ide/ide.a
/usr/lib/coq/ide/ide.cma
/usr/lib/coq/ide/ide.cmxa
/usr/lib/coq/ide/ideutils.cmi
/usr/lib/coq/ide/preferences.cmi
/usr/lib/coq/ide/tags.cmi
/usr/lib/coq/ide/typed_notebook.cmi
/usr/lib/coq/ide/undo.cmi
/usr/lib/coq/ide/utf8_convert.cmi
/usr/lib/coq/ide/utils
/usr/lib/coq/ide/utils/config_file.cmi
/usr/lib/coq/ide/utils/configwin.cmi
/usr/lib/coq/ide/utils/configwin_ihm.cmi
/usr/lib/coq/ide/utils/configwin_keys.cmi
/usr/lib/coq/ide/utils/configwin_messages.cmi
/usr/lib/coq/ide/utils/configwin_types.cmi
/usr/lib/coq/ide/utils/editable_cells.cmi
/usr/lib/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, Sat Aug 11 03:50:10 2018