SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-z3 rpm build for : Fedora 34. For other distributions click ocaml-z3.

Name : ocaml-z3
Version : 4.8.14 Vendor : Fedora Project
Release : 1.fc34 Date : 2021-12-25 00:11:30
Group : Unspecified Source RPM : z3-4.8.14-1.fc34.src.rpm
Size : 2.50 MB
Packager : Fedora Project
Summary : Ocaml interface to z3
Description :
Ocaml interface to z3.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/34/Everything/x86_64/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-z3-4.8.14-1.fc34.i686.rpm
     Search for other platforms
ocaml-z3-4.8.14-1.fc34.sparc.rpm
ocaml-z3-4.8.14-1.fc34.alpha.rpm
ocaml-z3-4.8.14-1.fc34.ppc.rpm
ocaml-z3-4.8.14-1.fc34.ia64.rpm
ocaml-z3-4.8.14-1.fc34.s390.rpm

Provides :
ocaml(Z3)
ocaml(Z3enums)
ocaml(Z3native)
ocaml-z3
ocaml-z3(x86-32)
ocamlx(Z3)
ocamlx(Z3enums)
ocamlx(Z3native)

Requires :
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.4)
libstdc++.so.6
libz3.so.4.8
ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1
ocaml(CamlinternalMod) = afc8685cc772d3b2ceeff0c531199f25
ocaml(Q) = 90aa2591a6a91c1b5a40d6a0def33e14
ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d
ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481
ocaml(Stdlib__callback) = 1b88fbd71c9cf564eb0790c5709a779a
ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41
ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a
ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68
ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea
ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48
ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88
ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96
ocaml(Z) = de8952b68dbf67aa7be758a82283b20a
ocaml(Z3enums) = c0f244a52d10b64160c160dd6fbb8909
ocaml(Z3native) = 698bec03e7a59f8e2d0783faf1c1c130
ocamlx(CamlinternalMod) = 900fab0fdcef5fb9de4f0946adc1ad28
ocamlx(Q) = 9f452aaff3f9cf9c096a7629d949938e
ocamlx(Stdlib) = e265559501934b122c70de8bbae32227
ocamlx(Stdlib__callback) = 98dbfe84d3b99d5cdfac7f3586a17f9d
ocamlx(Stdlib__hashtbl) = 86d4160d3707cb034fa9dd6d15b700d2
ocamlx(Stdlib__list) = ee635cda5a9d1d969d1d0128daa995b6
ocamlx(Z) = 2741d360c2286c511f065194f39b470d
ocamlx(Z3enums) = 0768c4da8203cf01afbec12569e2b6ec
ocamlx(Z3native) = dd555d5efa801f48e49a1500e558ecaa
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)
z3-libs(x86-32) = 4.8.14-1.fc34


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/af
/usr/lib/.build-id/af/a809c5011f8e70e09f08f5a09d96cff542fb69
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/dc9827c72d76710e6233dfd1e320dd38216ba7
/usr/lib/ocaml/Z3
/usr/lib/ocaml/Z3/META
/usr/lib/ocaml/Z3/z3.cmi
/usr/lib/ocaml/Z3/z3enums.cmi
/usr/lib/ocaml/Z3/z3ml.cma
/usr/lib/ocaml/Z3/z3ml.cmxs
/usr/lib/ocaml/Z3/z3native.cmi
/usr/lib/ocaml/stublibs/dllz3ml.so

  
ICM