SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-mlgmpidl rpm build for : Fedora 12. For other distributions click ocaml-mlgmpidl.

Name : ocaml-mlgmpidl
Version : 1.1 Vendor : Fedora Project
Release : 3.fc12 Date : 2009-07-27 08:25:57
Group : Development/Libraries Source RPM : ocaml-mlgmpidl-1.1-3.fc12.src.rpm
Size : 2.49 MB
Packager : Fedora Project
Summary : OCaml interface to GMP and MPFR libraries
Description :
MLGMPIDL is an OCaml interface to the GMP and MPFR rational and real
number math libraries. Although there is another such interface, this
one is different in that it provides a more imperative (rather than
functional) interface to conserve memory and that this one uses
CAMLIDL to take care of the C/OCaml interface in a convenient and
modular way.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/12/Everything/x86_64/os/Packages

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-mlgmpidl-1.1-3.fc12.x86_64.rpm
     

Provides :
ocaml(Gmp_random)
ocaml(Mpf)
ocaml(Mpfr)
ocaml(Mpfrf)
ocaml(Mpq)
ocaml(Mpqf)
ocaml(Mpz)
ocaml(Mpzf)
ocaml-mlgmpidl
ocaml-mlgmpidl(x86-64)

Requires :
libmpfr.so.1()(64bit)
libc.so.6()(64bit)
ocaml(Format) = b7ba3152a5eec5609d6ab86e6c51eebb
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
ocaml(runtime) = 3.11.1
libgmp.so.3()(64bit)
libtinfo.so.5()(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libpthread.so.0(GLIBC_2.2.5)(64bit)
ocaml(Buffer) = 23af67395823b652b807c4ae0b581211
libpthread.so.0()(64bit)
ocaml(Complex) = 73899d718b62e5534e8737bb363dbf71
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
libm.so.6(GLIBC_2.2.5)(64bit)
libncurses.so.5()(64bit)
rpmlib(VersionedDependencies) <= 3.0.3-1
libc.so.6(GLIBC_2.7)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
ocaml(Unix) = 0596a58544f8cd88fed5bf5432a53d43
libm.so.6()(64bit)
libc.so.6(GLIBC_2.3)(64bit)
rpmlib(PayloadIsXz) <= 5.2-1
libdl.so.2(GLIBC_2.2.5)(64bit)
ocaml(Bigarray) = fc2b6c88ffd318b9f111abe46ba99902
ocaml(Pervasives) = 88cb1505c8bdf9a4dcd2cdf3452732b4
libdl.so.2()(64bit)


Content of RPM :
/etc/prelink.conf.d/ocaml-mlgmpidl-prelink.conf
/usr/bin/gmptop
/usr/lib64/ocaml/mlgmpidl
/usr/lib64/ocaml/mlgmpidl/META
/usr/lib64/ocaml/mlgmpidl/gmp.cma
/usr/lib64/ocaml/mlgmpidl/gmp_random.cmi
/usr/lib64/ocaml/mlgmpidl/mpf.cmi
/usr/lib64/ocaml/mlgmpidl/mpfr.cmi
/usr/lib64/ocaml/mlgmpidl/mpfrf.cmi
/usr/lib64/ocaml/mlgmpidl/mpq.cmi
/usr/lib64/ocaml/mlgmpidl/mpqf.cmi
/usr/lib64/ocaml/mlgmpidl/mpz.cmi
/usr/lib64/ocaml/mlgmpidl/mpzf.cmi
/usr/share/doc/ocaml-mlgmpidl-1.1
/usr/share/doc/ocaml-mlgmpidl-1.1/COPYING
/usr/share/doc/ocaml-mlgmpidl-1.1/README

 
ICM