SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-apron
Version : 0.9.15 Vendor : Fedora Project
Release : 4.fc41 Date : 2024-07-17 19:24:41
Group : Unspecified Source RPM : apron-0.9.15-4.fc41.src.rpm
Size : 1.98 MB
Packager : Fedora Project
Summary : Ocaml interface to APRON
Description :
Ocaml interface to the APRON library.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/41/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-apron-0.9.15-4.fc41.x86_64.rpm
ftp.icm.edu.pl  ocaml-apron-0.9.15-4.fc41.x86_64.rpm
     

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

Requires :
apron(x86-64) = 0.9.15-4.fc41
libap_pkgrid.so()(64bit)
libap_ppl.so()(64bit)
libap_pplite.so()(64bit)
libapron.so()(64bit)
libavoD.so()(64bit)
libavoMPQ.so()(64bit)
libboxD.so()(64bit)
libboxMPFR.so()(64bit)
libboxMPQ.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libfppD.so()(64bit)
libgmp.so.10()(64bit)
libmpfr.so.6()(64bit)
liboctD.so()(64bit)
liboctMPQ.so()(64bit)
libpolkaMPQ.so()(64bit)
libpolkaRll.so()(64bit)
libt1pD.so()(64bit)
libt1pMPFR.so()(64bit)
libt1pMPQ.so()(64bit)
ocaml(Apron) = b818f75c4c7d309eca780305f83a9e21
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(Mpf) = 8102f86a587a1c30136d47a8d9082f96
ocaml(Mpfr) = 084acb8c95aa20ba394bbd523ef9fcfd
ocaml(Mpfrf) = 4f3c07f0b1f1bdc42257c66cddd7e168
ocaml(Mpq) = c8a02e0e9dbc061d70c28a782f2c55a2
ocaml(Mpqf) = 5b98e9a141ee8d6d8d87313be75a965f
ocaml(Mpz) = c7b21db2c698cfc965441a64c2970540
ocaml(Mpzf) = 3e571648f40e63ce15fd3444e9df2d90
ocaml(Polka) = ce20ec2fb09cca101410e8bddd75f8bd
ocaml(Ppl) = 904e64fdcd2eadd8df93f72264caa2a0
ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4
ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Callback) = b855f824a6cb0f4b58dc69a6e79a49a1
ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095
ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc
ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785
ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7
ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26
ocaml(Stdlib__Printexc) = 1e5e75f741ca414dd916c0c65b646827
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
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/03
/usr/lib/.build-id/03/7604ddd518e58e7e39307067db71b9375a9f36
/usr/lib/.build-id/08
/usr/lib/.build-id/08/39face16a0865f4282b832d886e5c9e54b7ff4
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/a70a213ade0f4d7aca20f5730d204b43513a08
/usr/lib/.build-id/17
/usr/lib/.build-id/17/3120ad6ed8e04ae5498ed4f3a1a45f32d705fe
/usr/lib/.build-id/21
/usr/lib/.build-id/21/4e3b46e60130fbc6257aaaa3d85c8ec4d93b06
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/04aa19a178868180efec0661cbdd6df6f8e4bd
/usr/lib/.build-id/2c/6f16a6a33ae4480cacc01f24e171da4548bf4b
/usr/lib/.build-id/2d/f72c3d7f2c7f3bb271aa4d755f7ae50480b9a3
/usr/lib/.build-id/33
/usr/lib/.build-id/33/1ec3f21dff17d286e3bb71bed1f1dedf0a3268
/usr/lib/.build-id/33/bf0f6d231c24452db817cce1c808fd6f262f34
/usr/lib/.build-id/37
/usr/lib/.build-id/37/6056ee93d61d9187278c588f407ec28a614c65
/usr/lib/.build-id/38
/usr/lib/.build-id/38/bda255a749e2c93e4475ba9df9ebd4400acd0e
/usr/lib/.build-id/44
/usr/lib/.build-id/44/0eca09bc5c264c25bacc3c855b9848808ca88d
/usr/lib/.build-id/4a
/usr/lib/.build-id/4a/de465612511153a0ec8952150f686b67a1d2f3
/usr/lib/.build-id/55
/usr/lib/.build-id/55/ff6af905c2f522f9c02dc7b66c62477a92426d
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/f6fc39709361f69858e5f5ca8bb6a299a0e6ec
There is 114 files more in these RPM.

 
ICM