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

coq-ide-8.4pl1-1.mga3 RPM for x86_64

From Mageia 3 for x86_64 / media / core / release

Name: coq-ide Distribution: Mageia
Version: 8.4pl1 Vendor: Mageia.Org
Release: 1.mga3 Build date: Tue Jan 15 13:08:08 2013
Group: Sciences/Computer science Build host: jonund.mageia.org
Size: 6738632 Source RPM: coq-8.4pl1-1.mga3.src.rpm
Packager: boklm <boklm>
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

LGPLv2

Changelog

* Mon Jan 14 2013 malo <malo> 8.4pl1-1.mga3
  + Revision: 387353
  - new bugfix release 8.4pl1
  - remove patch which was included upstream
* Fri Jan 11 2013 umeabot <umeabot> 8.4-3.mga3
  + Revision: 348157
  - Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild
* Tue Oct 02 2012 blue_prawn <blue_prawn> 8.4-2.mga3
  + Revision: 302076
  - build requires ocaml-compiler-libs
  - rebuild with new ocaml 4.00
  - also include documentation
* Sun Aug 26 2012 malo <malo> 8.4-1.mga3
  + Revision: 284166
  - missing buildrequires on camlp4-devel
  - update to version 8.4
  - add patch from Gentoo for compatibility with lablgtk 2.16
  - add desktop file for the IDE
* Sun Jul 29 2012 malo <malo> 8.3pl4-1.mga3
  + Revision: 275566
  - new version 8.3pl4
  - fix requires to ocaml-compiler
* Sat Jan 14 2012 malo <malo> 8.3pl3-1.mga2
  + Revision: 195965
  - new version 8.3pl3
* Sun Oct 23 2011 malo <malo> 8.3pl2-1.mga2
  + Revision: 157538
  - imported package coq
* Mon Jul 18 2011 Guillaume Rousse <guillomovitch@mandriva.org> 8.3pl2-1mdv2012.0
  + 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

Files

/etc/xdg/coq/coqide-gtk2rc
/usr/bin/coqide
/usr/bin/coqide.opt
/usr/lib64/coq/ide
/usr/lib64/coq/ide/command_windows.cmi
/usr/lib64/coq/ide/config_lexer.cmi
/usr/lib64/coq/ide/coq.cmi
/usr/lib64/coq/ide/coq_commands.cmi
/usr/lib64/coq/ide/coq_lex.cmi
/usr/lib64/coq/ide/coqide.cmi
/usr/lib64/coq/ide/coqide_ui.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/ideproof.cmi
/usr/lib64/coq/ide/ideutils.cmi
/usr/lib64/coq/ide/minilib.cmi
/usr/lib64/coq/ide/preferences.cmi
/usr/lib64/coq/ide/project_file.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/applications/coq.desktop
/usr/share/doc/coq-ide
/usr/share/doc/coq-ide/INSTALL.ide


Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Dec 13 23:18:53 2018