SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-z3
Version : 4.13.0 Vendor : Fedora Project
Release : 1.fc40 Date : 2024-03-14 22:15:14
Group : Unspecified Source RPM : z3-4.13.0-1.fc40.src.rpm
Size : 2.16 MB
Packager : Fedora Project
Summary : Ocaml interface to z3
Description :
Ocaml interface to z3.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/linux/development/40/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-z3-4.13.0-1.fc40.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)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libz3.so.4.13()(64bit)
ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae
ocaml(CamlinternalMod) = bac12862725f52686cbfa1d830ec2b83
ocaml(Q) = da07e1c0e14d68e61fee3fb8fda4147f
ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf
ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351
ocaml(Stdlib__Callback) = 34d77bf0657b063f4d951e989d10ffe6
ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28
ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08
ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee
ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f
ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f
ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328
ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a
ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b
ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5
ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8
ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c
ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5
ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f
ocaml(Z3enums) = f48a1171d7680b6c1fb6ca725e58987d
ocaml(Z3native) = e3d4f8e64a69846b8a3d20d0b7978ce1
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.0-1.fc40


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/30
/usr/lib/.build-id/30/f6e91ac3ad5431bb76b911b1ce3c4f34ca627c
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/c32d9186c93c499e172c171852953f2c63b99a
/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