SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

coq-ide rpm build for : Mandriva 2011. For other distributions click coq-ide.

Name : coq-ide
Version : 8.3 Vendor : Mandriva
Release : 3mdv2011.0 Date : 2010-12-20 13:56:49
Group : Sciences/Computer science Source RPM : coq-8.3-3mdv2011.0.src.rpm
Size : 18.09 MB
Packager : Guillaume Rousse < guillomovitch_mandriva_org>
Summary : The Coq Integrated Development Interface
Description :
The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant

RPM found in directory: /vol/rzm6/linux-mandriva/official/2011/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  coq-ide-8.3-3mdv2011.0.i586.rpm
     Search for other platforms
coq-ide-8.3-3mdv2011.0.sparc.rpm
coq-ide-8.3-3mdv2011.0.alpha.rpm
coq-ide-8.3-3mdv2011.0.ppc.rpm
coq-ide-8.3-3mdv2011.0.ia64.rpm
coq-ide-8.3-3mdv2011.0.s390.rpm

Provides :
coq-ide
coq-ide(x86-32)

Requires :
libpthread.so.0(GLIBC_2.2)
libgobject-2.0.so.0
libpthread.so.0
libdl.so.2(GLIBC_2.1)
libdl.so.2
rtld(GNU_HASH)
libgtk-x11-2.0.so.0
libpangocairo-1.0.so.0
libgdk_pixbuf-2.0.so.0
libpthread.so.0(GLIBC_2.3.2)
libm.so.6
librt.so.1
libpangoft2-1.0.so.0
libpango-1.0.so.0
libgdk-x11-2.0.so.0
libgio-2.0.so.0
libpthread.so.0(GLIBC_2.1)
ocaml
libc.so.6(GLIBC_2.7)
libc.so.6(GLIBC_2.2)
ocaml = 3.12.0
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.2)
libgthread-2.0.so.0
libdl.so.2(GLIBC_2.0)
libpthread.so.0(GLIBC_2.0)
libpng12.so.0
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libc.so.6(GLIBC_2.3)
libm.so.6(GLIBC_2.0)
libgmodule-2.0.so.0
libc.so.6(GLIBC_2.3.2)
rpmlib(CompressedFileNames) <= 3.0.4-1
libcairo.so.2
libatk-1.0.so.0
libc.so.6(GLIBC_2.1)
libfontconfig.so.1
rpmlib(PayloadIsLzma) <= 4.4.6-1
coq = 8.3
libfreetype.so.6
libglib-2.0.so.0
libm.so.6(GLIBC_2.1)
libc.so.6


Content of RPM :
/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
There is 6 files more in these RPM.

  
ICM