SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-apron
Version : 0.9.11 Vendor : Fedora Project
Release : 27.1104.svn20180624.fc31 Date : 2019-07-31 19:49:26
Group : Unspecified Source RPM : apron-0.9.11-27.1104.svn20180624.fc31.src.rpm
Size : 3.02 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/31/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.11-27.1104.svn20180624.fc31.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-27.1104.svn20180624.fc31
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.14()(64bit)
libt1pD.so.0()(64bit)
libt1pMPFR.so.0()(64bit)
libt1pMPQ.so.0()(64bit)
ocaml(Apron) = cfb286edbebfc928bf022ca201b5cccb
ocaml(CamlinternalFormatBasics) = a2b1a9d869fd05813beb35645bd9cd94
ocaml(Mpf) = bdd5163deb3876aaa23f1f96bc7ebefd
ocaml(Mpfr) = ea259caae64b60dd917fb9ebfc95eb1d
ocaml(Mpfrf) = 2d08e4f8f679a6fedcdc44553e712924
ocaml(Mpq) = 9d4e6e579a442035ed136973b6b94a02
ocaml(Mpqf) = f7ecc218e8b746840e2228a1100dfcc5
ocaml(Mpz) = 861889f0bdbdd5e3a89b5b1dd414b9d3
ocaml(Mpzf) = 4bfe354f2b58f9c6312bd6cb2b641cf6
ocaml(Polka) = 0a9b3c195a6f99f1415267fb922158b7
ocaml(Ppl) = a7fbdf96b75608a4a486227a88facaa4
ocaml(Stdlib) = ad45f251bbf98d3a0bf3b883546ecfc8
ocaml(Stdlib__array) = 8412db19ee2dd682a114d363bf147818
ocaml(Stdlib__bigarray) = a39abb3f899c4b4ea72b1eda931404b8
ocaml(Stdlib__buffer) = 35866fa9f82ad0886b2ccd0a86f2e1e6
ocaml(Stdlib__callback) = da1159c8ae37cdd81384691e3d654569
ocaml(Stdlib__complex) = 3e86422b431ff5c172197d51a2afdd52
ocaml(Stdlib__format) = b19f294d464555e99bcd77ca013195d9
ocaml(Stdlib__int32) = 9de27084a784cd13eb5e5552ddbd6b4e
ocaml(Stdlib__lexing) = cf953e945260781e23991e3991f9d5b0
ocaml(Stdlib__list) = fa1a1736c894577d834b1d79f2682a7e
ocaml(Stdlib__obj) = 9f725e74fc3209d50af4a35f74f18b53
ocaml(Stdlib__parsing) = f6f0e3b8fd70ad0e13eaee95a6d4003b
ocaml(Stdlib__pervasives) = ffb0eefbca3d14a1a48cbcb24e4eb181
ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136
ocaml(Stdlib__string) = 89dc8c0e4f92ce704437ae3fafad684f
ocaml(Stdlib__uchar) = db24a5ebd1625809ae883920f16c2526
ocaml(runtime) = 4.08.1
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/0c
/usr/lib/.build-id/0c/3aaa5133ba368e5f9bd536f21fbb4cc5a26923
/usr/lib/.build-id/0c/70c710c6d33b10cc101ececcec5dd74aed428b
/usr/lib/.build-id/27
/usr/lib/.build-id/27/e86f3e115928c119528bf5ff5df314e869d282
/usr/lib/.build-id/2b
/usr/lib/.build-id/2b/be439c7f13254e3a034c0ad4cb8a1efe44af3b
/usr/lib/.build-id/47
/usr/lib/.build-id/47/13fad1b672fb037869baaa76c7dda80edad497
/usr/lib/.build-id/47/3c83c6c2eaf17f7ffdf55eeedc9d7f30920351
/usr/lib/.build-id/48
/usr/lib/.build-id/48/7a0f6bd060e86aa25d0f487eb8a11bf4c0db5a
/usr/lib/.build-id/48/c39f203367086c4b3f8872639cf02485393ee1
/usr/lib/.build-id/49
/usr/lib/.build-id/49/2f7d20908fde325f9505f616bb3c528a0630b3
/usr/lib/.build-id/4a
/usr/lib/.build-id/4a/baf210ab2f7e07b1426633ca3a5d5d49c52940
/usr/lib/.build-id/4c
/usr/lib/.build-id/4c/b22eaa18a1688c4592a2108cb5a30d66fd1924
/usr/lib/.build-id/59
/usr/lib/.build-id/59/e0883fcc255f65aa2aa939e1106f5bbe15b20f
/usr/lib/.build-id/68
/usr/lib/.build-id/68/10acfac1586cf9e9358763210cc47a406e85ff
/usr/lib/.build-id/68/d001996bd5da9c894c8c623a46e8c39d806767
/usr/lib/.build-id/77
/usr/lib/.build-id/77/6d4149f2044a4fcbda5bde56ae790b62e110d3
/usr/lib/.build-id/77/aac541891fb1da3f73ab1fe23373efda99eaf8
/usr/lib/.build-id/7d
/usr/lib/.build-id/7d/eb96da763b3df6f77cb1858bf4781632ac7e83
There is 75 files more in these RPM.

 
ICM