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:06:15
Group : Unspecified Source RPM : apron-0.9.11-6.1097.svn20160801.fc25.src.rpm
Size : 2.84 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.x86_64.rpm
     

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

Requires :
apron(x86-64) = 0.9.11-6.1097.svn20160801.fc25
libap_pkgrid.so.0()(64bit)
libap_ppl.so.0()(64bit)
libapron.so.0()(64bit)
libapron_debug.so.0()(64bit)
libboxD.so.0()(64bit)
libboxMPFR.so.0()(64bit)
libboxMPQ.so.0()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libgmp.so.10()(64bit)
libgmpxx.so.4()(64bit)
libm.so.6()(64bit)
libmpfr.so.4()(64bit)
liboctD.so.0()(64bit)
liboctMPQ.so.0()(64bit)
libpolkaMPQ.so.0()(64bit)
libpolkaMPQ_debug.so.0()(64bit)
libpolkaRll.so.0()(64bit)
libpolkaRll_debug.so.0()(64bit)
libppl.so.13()(64bit)
libt1pD.so.0()(64bit)
libt1pMPFR.so.0()(64bit)
libt1pMPQ.so.0()(64bit)
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/lib64/ocaml/apron
/usr/lib64/ocaml/apron/META
/usr/lib64/ocaml/apron/apron.cma
/usr/lib64/ocaml/apron/apron.cmi
/usr/lib64/ocaml/apron/apron.cmxs
/usr/lib64/ocaml/apron/apron.d.cmxs
/usr/lib64/ocaml/apron/box.cmi
/usr/lib64/ocaml/apron/boxD.cma
/usr/lib64/ocaml/apron/boxD.cmxs
/usr/lib64/ocaml/apron/boxMPFR.cma
/usr/lib64/ocaml/apron/boxMPFR.cmxs
/usr/lib64/ocaml/apron/boxMPQ.cma
/usr/lib64/ocaml/apron/boxMPQ.cmxs
/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/dllt1pD_caml.so
/usr/lib64/ocaml/apron/dllt1pMPFR_caml.so
/usr/lib64/ocaml/apron/dllt1pMPQ_caml.so
/usr/lib64/ocaml/apron/oct.cmi
/usr/lib64/ocaml/apron/octD.cma
/usr/lib64/ocaml/apron/octD.cmxs
/usr/lib64/ocaml/apron/octMPQ.cma
There is 23 files more in these RPM.

  
ICM