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:32
Group : Unspecified Source RPM : apron-0.9.13-2.fc33.src.rpm
Size : 2.79 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.x86_64.rpm
     

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

Requires :
apron(x86-64) = 0.9.13-2.fc33
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)
libmpfr.so.6()(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)
libt1pD.so.0()(64bit)
libt1pD_debug.so.0()(64bit)
libt1pMPFR.so.0()(64bit)
libt1pMPFR_debug.so.0()(64bit)
libt1pMPQ.so.0()(64bit)
libt1pMPQ_debug.so.0()(64bit)
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) = 4cc4b37a5bfc4eca96afb713729414ad
ocamlx(Mpfr) = 120e98654d4da21cd86c125f6a310f9a
ocamlx(Mpfrf) = b410e7a41f7061c75dc723c569f1e0c4
ocamlx(Mpqf) = 3355c06b9d26d7047da1fd513d03d56b
ocamlx(Mpzf) = 9ac10293ebf9fdf2fc1b08156b580fcb
ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671
ocamlx(Stdlib__array) = 0dbd6c995df0b55845288210130d2cf1
ocamlx(Stdlib__callback) = 8be8bbbb398fb67c5ac76dd97e4c8891
ocamlx(Stdlib__format) = 85e26627e3e590997aa4b74d34d397ef
ocamlx(Stdlib__lexing) = 9e7aedf0363f47c6cd9aa60c674f1166
ocamlx(Stdlib__list) = 1f9660a314f1e6cb5f40359d9d3b2f29
ocamlx(Stdlib__parsing) = 613ba5ae27ea1f8c16b43e33844f8210
ocamlx(Stdlib__pervasives) = 3e186c9579e482ae0dc6f498f79a0d37
ocamlx(Stdlib__string) = 9693062f8b4045a04e0d3ae8d45a36af
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/02
/usr/lib/.build-id/02/a015c739ab6478c3f0816853628cbaa4e250c4
/usr/lib/.build-id/05
/usr/lib/.build-id/05/6be36df0b304d1c91898030eba13dd8a474b4e
/usr/lib/.build-id/09
/usr/lib/.build-id/09/19b22fac79df0396996ef4642ecab697189edc
/usr/lib/.build-id/13/415114d059e3a5a762edef4e4eed0f35881456
/usr/lib/.build-id/16
/usr/lib/.build-id/16/c73d76c040047940e6b9d0d3ef772e695a7893
/usr/lib/.build-id/17
/usr/lib/.build-id/17/baf51a1c4a10ae4e4c1b7bc031e96174ca4eef
/usr/lib/.build-id/1b
/usr/lib/.build-id/1b/58fff68305c6287042ec2031eceb97b10e15d3
/usr/lib/.build-id/26
/usr/lib/.build-id/26/b67413243c4dfe0599eb38c6a57201114e73ef
/usr/lib/.build-id/31
/usr/lib/.build-id/31/46237d4a748ab82ad9af0b8fd2bdad160d292d
/usr/lib/.build-id/37
/usr/lib/.build-id/37/844f06a41dba7e872e34915736f289861b19ab
/usr/lib/.build-id/46
/usr/lib/.build-id/46/5b2ae8a69fb9845c08f324498fddde951c56eb
/usr/lib/.build-id/4d
/usr/lib/.build-id/4d/31aa73f30b8dd123698ee167a7fff278022d53
/usr/lib/.build-id/52
/usr/lib/.build-id/52/21ed498cf075ca1d4eca6088ed07db161aa0da
/usr/lib/.build-id/59
/usr/lib/.build-id/59/2103e983bf41fbd66bdc6d2b3435ab714eee54
/usr/lib/.build-id/62
/usr/lib/.build-id/62/af6530c769cd0a0fc3d255b961b58d6b618251
There is 98 files more in these RPM.

  
ICM