SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-apron rpm build for : Fedora 18. For other distributions click ocaml-apron.

Name : ocaml-apron
Version : 0.9.10 Vendor : Fedora Project
Release : 9.fc18 Date : 2012-12-14 03:58:15
Group : Unspecified Source RPM : apron-0.9.10-9.fc18.src.rpm
Size : 1.66 MB
Packager : Fedora Project
Summary : Ocaml interface to APRON
Description :
Ocaml interface to the APRON library.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/18/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.10-9.fc18.x86_64.rpm
     

Provides :
libap_ppl_caml.so()(64bit)
libapron_caml.so()(64bit)
libboxD_caml.so()(64bit)
libboxMPFR_caml.so()(64bit)
libboxMPQ_caml.so()(64bit)
liboctD_caml.so()(64bit)
liboctMPQ_caml.so()(64bit)
libpolkaGrid_caml.so()(64bit)
libpolkaMPQ_caml.so()(64bit)
libpolkaRll_caml.so()(64bit)
ocaml(Apron)
ocaml(Box)
ocaml(Oct)
ocaml(Polka)
ocaml(PolkaGrid)
ocaml(Ppl)
ocaml-apron
ocaml-apron(x86-64)

Requires :
libc.so.6()(64bit)
ocaml(Bigarray) = a3abca6eda85a27a2e9646fee2ae6d47
ocaml(Int32) = 265928798c0b8a63fa48cf9ac202f0ce
ocaml(Array) = 4d5efba91ec70acd7b184fd4b277708c
apron(x86-64) = 0.9.10-9.fc18
ocaml(Format) = 6e6b7b75c544ef4ca673a763aec805af
rtld(GNU_HASH)
liboctD.so.0()(64bit)
ocaml(runtime) = 4.00.1
ocaml(Pervasives) = 4836c254f0eacad92fbf67abc525fdda
ocaml(Obj) = ad977b422bbde52cd6cd3b9d04d71db1
ocaml(String) = 54ba2685e6ed154753718e9c8becb28b
ocaml(Apron) = 740427142024add09a90957c0899ef4d
ocaml(Lexing) = 7e306603bdda9b5b4c50d1aac8def12a
ocaml(Buffer) = 3f6c994721573c9f8b5411e6824249f4
ocaml(Complex) = 15f71df7179e85f6cfbdabdfbc9eacaf
rpmlib(PayloadIsXz) <= 5.2-1
libboxD.so.0()(64bit)
libap_ppl.so.0()(64bit)
liboctMPQ.so.0()(64bit)
ocaml(Unix) = b6bfdb83f38c665d97fc0f322923311f
libgmp.so.10()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
ocaml(List) = bd7c662c09e850306a62c12fed5ef5ce
libpolkaMPQ.so.0()(64bit)
ocaml(Mpfr) = fba999f095bf96318a257224fe0858ed
ocaml(Callback) = 6fd6d47b2f6a171a493621bc5edbfb32
ocaml(Mpzf) = a41c1a53b526d431c5f8486639d6ebfc
libpolkaRll.so.0()(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libmpfr.so.4()(64bit)
ocaml(Mpq) = 02696c8afe4a16e3096e6cc0f1eab3bb
ocaml(Mpz) = a009ff0701da5f23ef7fe4afc8606ec9
ocaml(Mpfrf) = 2b0101ad578cd68bdce07189fcd1516e
ocaml(Polka) = 780e5a60c5614ee8c64249dc814d9362
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
ocaml(Ppl) = 1b25f8e002f7b0d17c115c965b99e1f9
libc.so.6(GLIBC_2.4)(64bit)
libap_pkgrid.so.0()(64bit)
ocaml(Mpqf) = 3552c431461f9ca0c52d2d63f1ec4eca
libapron.so.0()(64bit)
ocaml(Parsing) = 84c5e080da20d6d3141c52120783d359
libboxMPQ.so.0()(64bit)
libboxMPFR.so.0()(64bit)
ocaml(Mpf) = 6f8679a48baed3445f40bb9f3b7978a3


Content of RPM :
/usr/lib64/ocaml/apron
/usr/lib64/ocaml/apron/abstract0.idl
/usr/lib64/ocaml/apron/abstract1.idl
/usr/lib64/ocaml/apron/apron.cma
/usr/lib64/ocaml/apron/apron.cmi
/usr/lib64/ocaml/apron/box.cma
/usr/lib64/ocaml/apron/box.cmi
/usr/lib64/ocaml/apron/box.idl
/usr/lib64/ocaml/apron/boxD.cma
/usr/lib64/ocaml/apron/boxMPFR.cma
/usr/lib64/ocaml/apron/boxMPQ.cma
/usr/lib64/ocaml/apron/coeff.idl
/usr/lib64/ocaml/apron/dim.idl
/usr/lib64/ocaml/apron/dllap_ppl_caml.so
/usr/lib64/ocaml/apron/dllapron_caml.so
/usr/lib64/ocaml/apron/dllboxD_caml.so
/usr/lib64/ocaml/apron/dllboxMPFR_caml.so
/usr/lib64/ocaml/apron/dllboxMPQ_caml.so
/usr/lib64/ocaml/apron/dlloctD_caml.so
/usr/lib64/ocaml/apron/dlloctMPQ_caml.so
/usr/lib64/ocaml/apron/dllpolkaGrid_caml.so
/usr/lib64/ocaml/apron/dllpolkaMPQ_caml.so
/usr/lib64/ocaml/apron/dllpolkaRll_caml.so
/usr/lib64/ocaml/apron/environment.idl
/usr/lib64/ocaml/apron/generator0.idl
/usr/lib64/ocaml/apron/generator1.idl
/usr/lib64/ocaml/apron/interval.idl
/usr/lib64/ocaml/apron/libap_ppl_caml.so
/usr/lib64/ocaml/apron/libapron_caml.so
/usr/lib64/ocaml/apron/libboxD_caml.so
There is 35 files more in these RPM.

  
ICM