SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-apron
Version : 0.9.10 Vendor : Fedora Project
Release : 24.fc22 Date : 2015-02-11 17:23:13
Group : Unspecified Source RPM : apron-0.9.10-24.fc22.src.rpm
Size : 1.68 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/22/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.10-24.fc22.i686.rpm
ftp.icm.edu.pl  ocaml-apron-0.9.10-24.fc22.i686.rpm
     Search for other platforms
ocaml-apron-0.9.10-24.fc22.sparc.rpm
ocaml-apron-0.9.10-24.fc22.alpha.rpm
ocaml-apron-0.9.10-24.fc22.ppc.rpm
ocaml-apron-0.9.10-24.fc22.ia64.rpm
ocaml-apron-0.9.10-24.fc22.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(List) = 8988208489274193e4e3f69dc6ec2f75
ocaml(Bigarray) = 0643187a8b562858118690c393d01c2e
ocaml(Pervasives) = 5de66fdff01f2735974be770893841e1
libap_pkgrid.so.0
ocaml(Parsing) = 4f8cd2d8537563c7ea7ee2e5dc94e427
rtld(GNU_HASH)
ocaml(Mpfrf) = ffb04fc6c5f43a83139764403d7a2d26
ocaml(Mpzf) = f41990e06da8992af7979896e605aaab
ocaml(Int32) = f43b8a2972804b40e28b661b6fdf157a
libc.so.6(GLIBC_2.4)
libapron.so.0
ocaml(Obj) = 140d1c3ed9073657b801cc9b5a3234a4
ocaml(Format) = 4fc9ee7a0b0c38e8eac27f044b5d8c2a
ocaml(Apron) = e757da4847f14bfad71f342d404381c8
libc.so.6(GLIBC_2.1.3)
rpmlib(PayloadIsXz) <= 5.2-1
ocaml(runtime) = 4.02.0
apron(x86-32) = 0.9.10-24.fc22
libap_ppl.so.0
ocaml(Lexing) = 1be6a5484fb3cfb69d2c981438a7be62
ocaml(Polka) = ff7b8eb9bc8c84aa18706d7854267c92
ld-linux.so.2
libmpfr.so.4
ocaml(Array) = c59faaa9e18f27cd7b6fe2e7dcd20743
libpolkaRll.so.0
ocaml(Ppl) = f6df37decd011d922b4c2678beb03ed1
ocaml(Mpqf) = 6dc2263793a4f99a7de58dc12ca9a386
ocaml(Mpz) = 275f54ae7bd6222f161d9f3f2b89d37d
libc.so.6(GLIBC_2.0)
ocaml(String) = 03fde185c23214d47defb1747b053af3
ocaml(Unix) = 30a4cc8e5f4f902ea609c91caec48af7
ocaml(Mpq) = c0a86540280a2b85565773b19905bae9
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
ocaml(Mpfr) = b7c153afb84ae0ac41b2b6300ab9e8a5
libboxD.so.0
ocaml(Callback) = deb9226b3de6bdba985bad268a5b7c51
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
ocaml(Complex) = d0dcc1da3c694cf9a7e924c7832d1528
liboctD.so.0
libboxMPFR.so.0
ocaml(CamlinternalFormatBasics) = a88f91d0f04fd66bc0bbaaf347081e95
ocaml(Buffer) = a579f4a57e300ec755f84af883c1e51b
liboctMPQ.so.0
libboxMPQ.so.0
libc.so.6
ocaml(Mpf) = 0e772e74a8b988d5f93bf62dc3f39a92
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