SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-apron
Version : 0.9.11 Vendor : Fedora Project
Release : 6.1097.svn20160801.fc25 Date : 2017-03-24 21:07:06
Group : Unspecified Source RPM : apron-0.9.11-6.1097.svn20160801.fc25.src.rpm
Size : 2.70 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/25/x86_64/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.11-6.1097.svn20160801.fc25.i686.rpm
ftp.icm.edu.pl  ocaml-apron-0.9.11-6.1097.svn20160801.fc25.i686.rpm
     Search for other platforms
ocaml-apron-0.9.11-6.1097.svn20160801.fc25.sparc.rpm
ocaml-apron-0.9.11-6.1097.svn20160801.fc25.alpha.rpm
ocaml-apron-0.9.11-6.1097.svn20160801.fc25.ppc.rpm
ocaml-apron-0.9.11-6.1097.svn20160801.fc25.ia64.rpm
ocaml-apron-0.9.11-6.1097.svn20160801.fc25.s390.rpm

Provides :
ocaml(Apron)
ocaml(Box)
ocaml(Oct)
ocaml(Polka)
ocaml(PolkaGrid)
ocaml(Ppl)
ocaml(T1p)
ocaml-apron
ocaml-apron(x86-32)

Requires :
apron(x86-32) = 0.9.11-6.1097.svn20160801.fc25
libap_pkgrid.so.0
libap_ppl.so.0
libapron.so.0
libapron_debug.so.0
libboxD.so.0
libboxMPFR.so.0
libboxMPQ.so.0
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.3.4)
libc.so.6(GLIBC_2.4)
libgmp.so.10
libgmpxx.so.4
libm.so.6
libmpfr.so.4
liboctD.so.0
liboctMPQ.so.0
libpolkaMPQ.so.0
libpolkaMPQ_debug.so.0
libpolkaRll.so.0
libpolkaRll_debug.so.0
libppl.so.13
libt1pD.so.0
libt1pMPFR.so.0
libt1pMPQ.so.0
ocaml(Apron) = dc5d60caf0a5b885a9b7cc2b2333bc96
ocaml(Array) = ae800d8cf9903f1d36856950940430e6
ocaml(Bigarray) = 0643187a8b562858118690c393d01c2e
ocaml(Buffer) = a579f4a57e300ec755f84af883c1e51b
ocaml(Callback) = deb9226b3de6bdba985bad268a5b7c51
ocaml(CamlinternalFormatBasics) = 8b069fca1e4d9316b588e5554f38bb24
ocaml(Complex) = d0dcc1da3c694cf9a7e924c7832d1528
ocaml(Format) = 61d4350242b30078d3ad96c904c9f7a1
ocaml(Int32) = f43b8a2972804b40e28b661b6fdf157a
ocaml(Lexing) = 1be6a5484fb3cfb69d2c981438a7be62
ocaml(List) = 8988208489274193e4e3f69dc6ec2f75
ocaml(Mpf) = 0e772e74a8b988d5f93bf62dc3f39a92
ocaml(Mpfr) = b7c153afb84ae0ac41b2b6300ab9e8a5
ocaml(Mpfrf) = ffb04fc6c5f43a83139764403d7a2d26
ocaml(Mpq) = c0a86540280a2b85565773b19905bae9
ocaml(Mpqf) = 6dc2263793a4f99a7de58dc12ca9a386
ocaml(Mpz) = 275f54ae7bd6222f161d9f3f2b89d37d
ocaml(Mpzf) = f41990e06da8992af7979896e605aaab
ocaml(Obj) = 8b014ec57a472d9f3922b63e5de9d1f2
ocaml(Parsing) = 4f8cd2d8537563c7ea7ee2e5dc94e427
ocaml(Pervasives) = 0d015a5a2136659b0de431be7f1545be
ocaml(Polka) = ff7b8eb9bc8c84aa18706d7854267c92
ocaml(Ppl) = f6df37decd011d922b4c2678beb03ed1
ocaml(String) = 9cb286f2c4569fd32c379b1a05c7b590
ocaml(Unix) = 30a4cc8e5f4f902ea609c91caec48af7
ocaml(runtime) = 4.02.3
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)


Content of RPM :
/usr/lib/ocaml/apron
/usr/lib/ocaml/apron/META
/usr/lib/ocaml/apron/apron.cma
/usr/lib/ocaml/apron/apron.cmi
/usr/lib/ocaml/apron/apron.cmxs
/usr/lib/ocaml/apron/apron.d.cmxs
/usr/lib/ocaml/apron/box.cmi
/usr/lib/ocaml/apron/boxD.cma
/usr/lib/ocaml/apron/boxD.cmxs
/usr/lib/ocaml/apron/boxMPFR.cma
/usr/lib/ocaml/apron/boxMPFR.cmxs
/usr/lib/ocaml/apron/boxMPQ.cma
/usr/lib/ocaml/apron/boxMPQ.cmxs
/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/dllt1pD_caml.so
/usr/lib/ocaml/apron/dllt1pMPFR_caml.so
/usr/lib/ocaml/apron/dllt1pMPQ_caml.so
/usr/lib/ocaml/apron/oct.cmi
/usr/lib/ocaml/apron/octD.cma
/usr/lib/ocaml/apron/octD.cmxs
/usr/lib/ocaml/apron/octMPQ.cma
There is 23 files more in these RPM.

 
ICM