SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-z3
Version : 4.12.2 Vendor : Fedora Project
Release : 6.fc39 Date : 2023-07-27 18:32:44
Group : Unspecified Source RPM : z3-4.12.2-6.fc39.src.rpm
Size : 2.86 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/releases/39/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-z3-4.12.2-6.fc39.x86_64.rpm
     

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

Requires :
ld-linux-x86-64.so.2()(64bit)
ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libz3.so.4.12()(64bit)
ocaml(CamlinternalFormatBasics) = cecfafd5c021473f5e358c96ac7502a0
ocaml(CamlinternalMod) = 5f3bf6a430a949e1f685fd8552eeeda5
ocaml(Q) = dfd79ff05360c4cc4bc120db10ee3749
ocaml(Stdlib) = 85f85ddb47edc0c7579657eee740302d
ocaml(Stdlib__Buffer) = 12b944b4b2913751cd65bdc638975d4d
ocaml(Stdlib__Callback) = 4193fcc86b5ea92141e5bedd24eceaa7
ocaml(Stdlib__Domain) = 0d152be3cd9163970a657d842fca8ecf
ocaml(Stdlib__Either) = b3ad0f8c65f28252059edebc03f68808
ocaml(Stdlib__Format) = e7385010d0d6a0bbd4191bc7546d458a
ocaml(Stdlib__Hashtbl) = bafdecabd3fce4f5ccc09a1a5587dab4
ocaml(Stdlib__Int32) = 1db604c2106f996ea47a572773a5ff7f
ocaml(Stdlib__Int64) = 7ab3f2ace09cfcc67be8a7133d18f0e2
ocaml(Stdlib__List) = feb7c568830f9f239501efb83f4725e4
ocaml(Stdlib__Nativeint) = 627e6e1768175d0dea895dfbcbc11457
ocaml(Stdlib__Obj) = 85655eceec5bcd6c7c4ef5dd6758b19d
ocaml(Stdlib__Random) = 3f2ddc04bb28ff1050c0c8d7cf5a8d57
ocaml(Stdlib__Seq) = cc3f899885b746f777815dc93be7ede2
ocaml(Stdlib__Uchar) = 9ea864085095970c73b7b17c26c37317
ocaml(Z) = 0009d1c1f4074c1e5cac1497b3dc94fa
ocaml(Z3enums) = e95b6ff52494b209e56401b4984ee81c
ocaml(Z3native) = 7554f89571f297090fc8661d6adfdcc9
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.12.2-6.fc39


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/83
/usr/lib/.build-id/83/6a12b55156111b0619780a88e07fbfec9f4fbc
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/0fb4897b1a6684419aa0b45ce8b797ac4e7231
/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