SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-z3
Version : 4.8.17 Vendor : Fedora Project
Release : 2.fc36 Date : 2023-01-09 18:04:44
Group : Unspecified Source RPM : z3-4.8.17-2.fc36.src.rpm
Size : 2.46 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/36/Everything/x86_64/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-z3-4.8.17-2.fc36.i686.rpm
     Search for other platforms
ocaml-z3-4.8.17-2.fc36.sparc.rpm
ocaml-z3-4.8.17-2.fc36.alpha.rpm
ocaml-z3-4.8.17-2.fc36.ppc.rpm
ocaml-z3-4.8.17-2.fc36.ia64.rpm
ocaml-z3-4.8.17-2.fc36.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)
libz3.so.4.8
ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7
ocaml(CamlinternalMod) = 92273e2dfce7fcf989bac3ceb0683002
ocaml(Q) = 78e67b574090234468dc765b5bdb7717
ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df
ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a
ocaml(Stdlib__Callback) = be7617c46974ca4057e76573498f075e
ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c
ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963
ocaml(Stdlib__Hashtbl) = f8a1618a0afdf7b51a7efc58d3ada50b
ocaml(Stdlib__Int32) = d70207015a28d6f8cb16cbf3df490417
ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3
ocaml(Stdlib__Obj) = f013b5ab5f624540d41df4b458d374b4
ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18
ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d
ocaml(Z) = 8a90aa4bf2d57bb938bc384ae8abc507
ocaml(Z3enums) = aaf882cd59623e157720950fe7cfec6a
ocaml(Z3native) = 9fda07418e66ea88d3ee204dd6d7e8cd
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.17-2.fc36


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/59
/usr/lib/.build-id/59/b6491216e62363642d95e03e49580839888758
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/1f6b0ce0d9878567bac4700818ed30fee54595
/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