SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-apron
Version : 0.9.13 Vendor : Fedora Project
Release : 2.fc33 Date : 2020-11-20 22:58:44
Group : Unspecified Source RPM : apron-0.9.13-2.fc33.src.rpm
Size : 2.66 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/33/Everything/x86_64/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.13-2.fc33.i686.rpm
     Search for other platforms
ocaml-apron-0.9.13-2.fc33.sparc.rpm
ocaml-apron-0.9.13-2.fc33.alpha.rpm
ocaml-apron-0.9.13-2.fc33.ppc.rpm
ocaml-apron-0.9.13-2.fc33.ia64.rpm
ocaml-apron-0.9.13-2.fc33.s390.rpm

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

Requires :
apron(x86-32) = 0.9.13-2.fc33
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
libmpfr.so.6
liboctD.so.0
liboctMPQ.so.0
libpolkaMPQ.so.0
libpolkaMPQ_debug.so.0
libpolkaRll.so.0
libpolkaRll_debug.so.0
libt1pD.so.0
libt1pD_debug.so.0
libt1pMPFR.so.0
libt1pMPFR_debug.so.0
libt1pMPQ.so.0
libt1pMPQ_debug.so.0
ocaml(Apron) = ea0954de40e403ecb094089abf52a847
ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1
ocaml(Mpf) = 6e2b7c38f30c83e343db3d1dc7f9e5a3
ocaml(Mpfr) = accbda4157abab6941e0bb9f8ddbf2fe
ocaml(Mpfrf) = 37ccb7612094561cb8002f2c45d5ac8b
ocaml(Mpq) = 45779d99aee535bc997c823115700e80
ocaml(Mpqf) = b1485116f66c5aa5f44f736aeaa4682b
ocaml(Mpz) = d700c8fa424fb71b084dd13963abac73
ocaml(Mpzf) = de1150d98992152446a053db4b83f101
ocaml(Polka) = 48aaaff576d8b079ecf49b6dd2d1ca1e
ocaml(Ppl) = 76d49a8e4483c556b2339f2dde556821
ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d
ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac
ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e
ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481
ocaml(Stdlib__callback) = 1b88fbd71c9cf564eb0790c5709a779a
ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10
ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41
ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68
ocaml(Stdlib__lexing) = c57f9c5debbcb9d656c70b1e7385c4f9
ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea
ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48
ocaml(Stdlib__parsing) = a1e21d363ae8b31ddf44cea20971b7de
ocaml(Stdlib__pervasives) = 76119ce30941328f65713c9e5efa6ead
ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88
ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9
ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96
ocamlx(Apron) = 9191ce43775fa453aeda9d73d77e07ad
ocamlx(Mpfr) = 5e260389d25626dc211f4f560d369811
ocamlx(Mpfrf) = ac254e47c3e34b37860d5241a0458f6e
ocamlx(Mpqf) = 0575a27584a53a463af3fdf92ce9e8dd
ocamlx(Mpzf) = 13554cc3bca2e4636763e7556b3d7e21
ocamlx(Stdlib) = e265559501934b122c70de8bbae32227
ocamlx(Stdlib__array) = 6c55dc4f9a348156a4281ba9fa29c948
ocamlx(Stdlib__callback) = 98dbfe84d3b99d5cdfac7f3586a17f9d
ocamlx(Stdlib__format) = d382a0ef92bd9dd8572150c428d1e1ec
ocamlx(Stdlib__lexing) = 86aba44f514b45bed0e5508a34e1f167
ocamlx(Stdlib__list) = ee635cda5a9d1d969d1d0128daa995b6
ocamlx(Stdlib__parsing) = e3018b339901dc157490923b4870ea07
ocamlx(Stdlib__pervasives) = 6b4c9288e456f95dbaeee8a8181eb106
ocamlx(Stdlib__string) = 87ee46b744490803a1a6e2d3a0a885a6
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/07
/usr/lib/.build-id/07/c222b470db302a80d5482227c3949961c1a4f5
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/20273ae75cabf9bbb50be5294a6f5f921e2ee6
/usr/lib/.build-id/10
/usr/lib/.build-id/10/8d64c32609342cdc12d21e3cdb879cf8ebab83
/usr/lib/.build-id/12
/usr/lib/.build-id/12/956255ec46b14c955b6551faf73bf3703935b9
/usr/lib/.build-id/17
/usr/lib/.build-id/17/d717077f53a94b6453e3d5c6aa2e0853e63cfb
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/bd124fbb5ac586cbe43c3baf6b8283ee618701
/usr/lib/.build-id/23
/usr/lib/.build-id/23/ad00613c898ce7b3994ffe2e2e0ea7e1ff303d
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/ae37026da738c356b6aa5f1aebb00d55505a2f
/usr/lib/.build-id/35
/usr/lib/.build-id/35/647ae895e82609f012bde3c2c04f7e2b8990e7
/usr/lib/.build-id/3b
/usr/lib/.build-id/3b/4a826b13afa54092c0ac81cc9b7897c9e0a6b4
/usr/lib/.build-id/41
/usr/lib/.build-id/41/b35158f81acc5d6666ed1ac4556daa66b16b74
/usr/lib/.build-id/47
/usr/lib/.build-id/47/5a71909e034dd422ba26d0018f25c9bf098285
/usr/lib/.build-id/4a
/usr/lib/.build-id/4a/5eb784b7c86d61654e91c73cdf875d35c7cb2a
/usr/lib/.build-id/65
/usr/lib/.build-id/65/911db8410d9aa10a32a87bfbd514c9aae906fc
/usr/lib/.build-id/67
There is 100 files more in these RPM.

 
ICM