SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-apron
Version : 0.9.10 Vendor : Fedora Project
Release : 4.fc16 Date : 2011-11-09 21:38:16
Group : Unspecified Source RPM : apron-0.9.10-4.fc16.src.rpm
Size : 1.56 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/16/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.10-4.fc16.i686.rpm
ftp.icm.edu.pl  ocaml-apron-0.9.10-4.fc16.i686.rpm
     Search for other platforms
ocaml-apron-0.9.10-4.fc16.sparc.rpm
ocaml-apron-0.9.10-4.fc16.alpha.rpm
ocaml-apron-0.9.10-4.fc16.ppc.rpm
ocaml-apron-0.9.10-4.fc16.ia64.rpm
ocaml-apron-0.9.10-4.fc16.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(Mpzf) = 880ed9a6a6facad4d714366014c29da3
ocaml(List) = 9c85fb419d52a8fd876c84784374e0cf
libap_pkgrid.so.0
ocaml(Mpfr) = a2c8600dc093d24982e074326c5d8a06
ocaml(Complex) = 9aea79838f042027ab9539d587834bc8
ocaml(Bigarray) = 7999848d08322c0bcb568840b1d2cf0d
rtld(GNU_HASH)
ocaml(Unix) = 2a19929a535447ed0c8fc58ae3adc1a0
ocaml(Apron) = 9fee3ad5d34cd6c4ae9fee0592e6a655
ocaml(Buffer) = 40bf652f22a33a7cfa05ee1dd5e0d7e4
libc.so.6(GLIBC_2.4)
libapron.so.0
ocaml(Ppl) = 8bbcc7abc265d3056878175bb441c32e
ocaml(Lexing) = 7d5623c54d065ad3f652261d2776959c
ocaml(runtime) = 3.12.0
ocaml(Polka) = cd44a8c05ec284419b1f74ceb4108e01
ocaml(Mpfrf) = 7f546e69251f5cf0a1cd3dd4a1e761b5
libc.so.6(GLIBC_2.1.3)
ocaml(Array) = 720848e0b508273805ef38d884a57618
rpmlib(PayloadIsXz) <= 5.2-1
ocaml(Int32) = c91c0bbb9f7670b10cdc0f2dcc57c5f9
libap_ppl.so.0
ocaml(String) = 06ab5e6944c47322b9d305c0aa0b07ff
ocaml(Parsing) = 59e1db94d28f5c920aaddc6ba25fb659
libmpfr.so.4
libpolkaRll.so.0
ocaml(Mpq) = ce2070543078d81083b576242a3130f2
libc.so.6(GLIBC_2.0)
libgmp.so.3
ocaml(Mpqf) = 680f8e9f19b441bd35843ade8217a6de
apron(x86-32) = 0.9.10-4.fc16
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
ocaml(Mpz) = 51fb98965622d5a322043e34aeea752c
ocaml(Pervasives) = db723a1798b122e08919a2bfed062514
libboxD.so.0
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
liboctD.so.0
libboxMPFR.so.0
ocaml(Callback) = e28543018d3991d2a7e9e4233bc16727
liboctMPQ.so.0
ocaml(Format) = e0de312c23ff9caec6c5bfa1f44a43b4
libboxMPQ.so.0
libc.so.6
ocaml(Obj) = 3aeb33d11433c95bb62053c65665eb76
libc.so.6(GLIBC_2.3.4)
ocaml(Mpf) = 5e2e3d3ee8c86bb35a32e59abf2e9454


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