SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : coq-ide
Version : 8.2pl1 Vendor : Mandriva
Release : 2mdv2010.1 Date : 2010-02-18 12:30:26
Group : Sciences/Computer science Source RPM : coq-8.2pl1-2mdv2010.1.src.rpm
Size : 17.78 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/2010.1/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  coq-ide-8.2pl1-2mdv2010.1.i586.rpm
     Search for other platforms
coq-ide-8.2pl1-2mdv2010.1.sparc.rpm
coq-ide-8.2pl1-2mdv2010.1.alpha.rpm
coq-ide-8.2pl1-2mdv2010.1.ppc.rpm
coq-ide-8.2pl1-2mdv2010.1.ia64.rpm
coq-ide-8.2pl1-2mdv2010.1.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
coq = 8.2pl1
libpthread.so.0(GLIBC_2.1)
ocaml
libc.so.6(GLIBC_2.7)
libc.so.6(GLIBC_2.2)
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)
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
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/coq.png
/usr/share/doc/coq-ide
/usr/share/doc/coq-ide/INSTALL.ide

  
ICM