SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-apron
Version : 0.9.10 Vendor : Fedora Project
Release : 11.fc19 Date : 2013-02-14 19:51:42
Group : Unspecified Source RPM : apron-0.9.10-11.fc19.src.rpm
Size : 1.65 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/releases/19/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.10-11.fc19.i686.rpm
ftp.icm.edu.pl  ocaml-apron-0.9.10-11.fc19.i686.rpm
     Search for other platforms
ocaml-apron-0.9.10-11.fc19.sparc.rpm
ocaml-apron-0.9.10-11.fc19.alpha.rpm
ocaml-apron-0.9.10-11.fc19.ppc.rpm
ocaml-apron-0.9.10-11.fc19.ia64.rpm
ocaml-apron-0.9.10-11.fc19.s390.rpm

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

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


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

 
ICM