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

From Mageia Cauldron for x86_64 / media / core / release

The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant

Provides

• coq-ide
• coq-ide(x86-64)

Requires

• coq = 8.4pl1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(CompressedFileNames)
• libatk-1.0.so.0()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit) >
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.2)(64bit)
• libc.so.6(GLIBC_2.7)(64bit) >=
• libcairo.so.2()(64bit)
• libdl.so.2()(64bit) <
• libdl.so.2(GLIBC_2.2.5)(64bit) >
• libfontconfig.so.1()(64bit)
• libfreetype.so.6()(64bit) =
• libgdk-x11-2.0.so.0()(64bit) >
• libgdk_pixbuf-2.0.so.0()(64bit) <=
• libgio-2.0.so.0()(64bit)
• libglib-2.0.so.0()(64bit) =
• libgmodule-2.0.so.0()(64bit)
• libgobject-2.0.so.0()(64bit) =
• libgtk-x11-2.0.so.0()(64bit)
• libm.so.6()(64bit) <
• libm.so.6(GLIBC_2.2.5)(64bit) <=
• libpango-1.0.so.0()(64bit) >=
• libpangocairo-1.0.so.0()(64bit) <=
• libpangoft2-1.0.so.0()(64bit) >
• libpthread.so.0()(64bit) >
• libpthread.so.0(GLIBC_2.2.5)(64bit) >
• libpthread.so.0(GLIBC_2.3.2)(64bit) >
• rpmlib(PayloadIsXz) = 5.2-1

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 May 23 06:51:55 2013