SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-apron
Version : 0.9.11 Vendor : Fedora Project
Release : 6.1097.svn20160801.fc26 Date : 2017-03-24 20:14:57
Group : Unspecified Source RPM : apron-0.9.11-6.1097.svn20160801.fc26.src.rpm
Size : 2.61 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/26/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.11-6.1097.svn20160801.fc26.i686.rpm
ftp.icm.edu.pl  ocaml-apron-0.9.11-6.1097.svn20160801.fc26.i686.rpm
     Search for other platforms
ocaml-apron-0.9.11-6.1097.svn20160801.fc26.sparc.rpm
ocaml-apron-0.9.11-6.1097.svn20160801.fc26.alpha.rpm
ocaml-apron-0.9.11-6.1097.svn20160801.fc26.ppc.rpm
ocaml-apron-0.9.11-6.1097.svn20160801.fc26.ia64.rpm
ocaml-apron-0.9.11-6.1097.svn20160801.fc26.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.fc26
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.14
libt1pD.so.0
libt1pMPFR.so.0
libt1pMPQ.so.0
ocaml(Apron) = cb2cd906b294a6255cb91c46e393ff7e
ocaml(Array) = 83626447aa49c1fc006c752026de61fb
ocaml(Bigarray) = 421a414293e8c102db59d6113644d980
ocaml(Buffer) = c932a66951c989158d32b4d60664f14e
ocaml(Callback) = 153a7d0a0557bd6835989e5a6a6cb55c
ocaml(CamlinternalFormatBasics) = cbd5f2d6b649925222e1e9fb63b89db6
ocaml(Complex) = cb1ef84b1d3498d3758731d51aa6f264
ocaml(Format) = aed1d740331f56358bdc54ffe141c959
ocaml(Int32) = f4400e9e93b464d150ad42f31836792f
ocaml(Lexing) = 4d9c7eb04940c37e64ff967cfe13f973
ocaml(List) = cd293869f2923980325b5f3354992c2d
ocaml(Mpf) = ce6e68e42935c25e9d85b79024989f6e
ocaml(Mpfr) = 7fbea0468bb3a302a128e44e91f960f4
ocaml(Mpfrf) = 927ed72913d6bca1b696971401d2aa7b
ocaml(Mpq) = dba4596cd9031dd69a02006ce3559ba7
ocaml(Mpqf) = 1e0357f4c117db5cb6fefb31b40d469f
ocaml(Mpz) = 075d4c04ac1642fbba29e18417f1d1c9
ocaml(Mpzf) = 344fe72770f392322b96395ce261824d
ocaml(Obj) = c4ef78f7441e9530f471a24b7a61f374
ocaml(Parsing) = c4dab1f6ada66d1f5c0ee704e69db421
ocaml(Pervasives) = eef96f967b03d53aceb35ab9ee61e6fc
ocaml(Polka) = 9e650a9e70db7ed6ee28f6e0cb0edefd
ocaml(Ppl) = 2eb407a211f74601b48cbec1d23eb6c1
ocaml(String) = 609a5859ae42eeafa6c2b0f8f5e2ee85
ocaml(Unix) = 24c53108a81f2b272c64d33418be3651
ocaml(runtime) = 4.04.0
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