SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 

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

Name : ocaml-z3
Version : 4.8.6 Vendor : Fedora Project
Release : 1.fc31 Date : 2019-09-21 01:27:44
Group : Unspecified Source RPM : z3-4.8.6-1.fc31.src.rpm
Size : 2.31 MB
Packager : Fedora Project
Summary : Ocaml interface to z3
Description :
Ocaml interface to z3.

RPM found in directory: /mirror/download.fedora.redhat.com/pub/fedora/linux/development/31/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.pbone.net  ocaml-z3-4.8.6-1.fc31.i686.rpm
ftp.pbone.net  ocaml-z3-4.8.6-1.fc31.i686.rpm
     Search for other platforms
ocaml-z3-4.8.6-1.fc31.sparc.rpm
ocaml-z3-4.8.6-1.fc31.alpha.rpm
ocaml-z3-4.8.6-1.fc31.ppc.rpm
ocaml-z3-4.8.6-1.fc31.ia64.rpm
ocaml-z3-4.8.6-1.fc31.s390.rpm

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

Requires :
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.4)
libgmp.so.10
libz3.so.0
ocaml(Big_int) = ef98a40185395a8404538aef56b9280c
ocaml(CamlinternalFormatBasics) = a2b1a9d869fd05813beb35645bd9cd94
ocaml(CamlinternalMod) = 790053edac433ef5a0a484d341e6a142
ocaml(Nat) = 3b5a98c5ad682c732c4b9bccc063982a
ocaml(Ratio) = fd68af8f48d537d5694bbea084d94511
ocaml(Stdlib) = ad45f251bbf98d3a0bf3b883546ecfc8
ocaml(Stdlib__callback) = da1159c8ae37cdd81384691e3d654569
ocaml(Stdlib__hashtbl) = 8a0f9b54a9d30b1aeff83f4bae88dfde
ocaml(Stdlib__int32) = 9de27084a784cd13eb5e5552ddbd6b4e
ocaml(Stdlib__list) = fa1a1736c894577d834b1d79f2682a7e
ocaml(Stdlib__obj) = 9f725e74fc3209d50af4a35f74f18b53
ocaml(Stdlib__pervasives) = ffb0eefbca3d14a1a48cbcb24e4eb181
ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136
ocaml(Z3enums) = cb1e20b700718f46973d7f5732231d61
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)
z3-libs(x86-32) = 4.8.6-1.fc31


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/f5dbab4b4e6e1841de34fe86e3e442ebebfc99
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/f6cbbe0d9015addadbe89e15c73264042b4a00
/usr/lib/ocaml/Z3
/usr/lib/ocaml/Z3/META
/usr/lib/ocaml/Z3/dllz3ml.so
/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