SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-z3
Version : 4.13.2 Vendor : Fedora Project
Release : 1.fc41 Date : 2024-09-28 02:17:13
Group : Unspecified Source RPM : z3-4.13.2-1.fc41.src.rpm
Size : 2.15 MB
Packager : Fedora Project
Summary : Ocaml interface to z3
Description :
Ocaml interface to z3.

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-z3-4.13.2-1.fc41.x86_64.rpm
     

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

Requires :
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libz3.so.4.13()(64bit)
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af
ocaml(Q) = a6fc2b40fa70161f18510a2ce82f2b42
ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Callback) = b855f824a6cb0f4b58dc69a6e79a49a1
ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc
ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3
ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f
ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7
ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a
ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
ocaml(Z) = ca2658ea343645ad5d4facceca973ce7
ocaml(Z3enums) = 7175d000a73c88fd050061cd9df51bdb
ocaml(Z3native) = 61f66e2285643ca336f3f5a68b02b2c1
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-64) = 4.13.2-1.fc41


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/4d
/usr/lib/.build-id/4d/201c2e8103adb3e8fb23e8c68d73e155c17d7d
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/cd1f90d6963cd808fcde514368b918b5001133
/usr/lib64/ocaml/Z3
/usr/lib64/ocaml/Z3/META
/usr/lib64/ocaml/Z3/z3.cmi
/usr/lib64/ocaml/Z3/z3enums.cmi
/usr/lib64/ocaml/Z3/z3ml.cma
/usr/lib64/ocaml/Z3/z3ml.cmxs
/usr/lib64/ocaml/Z3/z3native.cmi
/usr/lib64/ocaml/stublibs/dllz3ml.so

  
ICM