SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 

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

Name : coq
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 : 67.35 MB
Packager : Guillaume Rousse < guillomovitch_mandriva_org>
Summary : The Coq Proof Assistant
Description :
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,

RPM found in directory: /mirror/carroll.cac.psu.edu/pub/linux/distributions/mandrakelinux/official/2010.1/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.gwdg.de  coq-8.2pl1-2mdv2010.1.i586.rpm
ftp.gwdg.de  coq-8.2pl1-2mdv2010.1.i586.rpm
bo.mirror.garr.it  coq-8.2pl1-2mdv2010.1.i586.rpm
ftp.icm.edu.pl  coq-8.2pl1-2mdv2010.1.i586.rpm
ftp.pbone.net  coq-8.2pl1-2mdv2010.1.i586.rpm
ftp.isu.edu.tw  coq-8.2pl1-2mdv2010.1.i586.rpm
     Search for other platforms
coq-8.2pl1-2mdv2010.1.sparc.rpm
coq-8.2pl1-2mdv2010.1.alpha.rpm
coq-8.2pl1-2mdv2010.1.ppc.rpm
coq-8.2pl1-2mdv2010.1.ia64.rpm
coq-8.2pl1-2mdv2010.1.s390.rpm

Provides :
dllcoqrun.so
coq
coq(x86-32)

Requires :
libc.so.6(GLIBC_2.2)
ocaml = 3.11.2
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.2)
libdl.so.2(GLIBC_2.1)
libdl.so.2(GLIBC_2.0)
libdl.so.2
rtld(GNU_HASH)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libm.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.3)
libm.so.6
rpmlib(CompressedFileNames) <= 3.0.4-1
libc.so.6(GLIBC_2.1)
rpmlib(PayloadIsLzma) <= 4.4.6-1
libc.so.6(GLIBC_2.1.3)
libm.so.6(GLIBC_2.1)
ocaml
libc.so.6(GLIBC_2.7)
libc.so.6


Content of RPM :
/usr/bin/coq-tex
/usr/bin/coq_makefile
/usr/bin/coqc
/usr/bin/coqchk
/usr/bin/coqchk.opt
/usr/bin/coqdep
/usr/bin/coqdoc
/usr/bin/coqmktop
/usr/bin/coqtop
/usr/bin/coqtop.byte
/usr/bin/coqtop.opt
/usr/bin/coqwc
/usr/bin/gallina
/usr/lib/coq
/usr/lib/coq/config
/usr/lib/coq/config/coq_config.cmi
/usr/lib/coq/config/coq_config.cmo
/usr/lib/coq/config/coq_config.cmx
/usr/lib/coq/config/coq_config.o
/usr/lib/coq/contrib
/usr/lib/coq/contrib/cc
/usr/lib/coq/contrib/cc/ccalgo.cmi
/usr/lib/coq/contrib/cc/ccproof.cmi
/usr/lib/coq/contrib/cc/cctac.cmi
/usr/lib/coq/contrib/cc/g_congruence.cmi
/usr/lib/coq/contrib/contrib.a
/usr/lib/coq/contrib/contrib.cma
/usr/lib/coq/contrib/contrib.cmxa
/usr/lib/coq/contrib/dp
/usr/lib/coq/contrib/dp/Dp.vo
There is 788 files more in these RPM.