Fri, 29 Mar 2024 13:14:22 UTC | login

Information for RPM ocaml-z3-4.8.5-2.fc31.riscv64.rpm

ID397062
Nameocaml-z3
Version4.8.5
Release2.fc31
Epoch
Archriscv64
SummaryOcaml interface to z3
DescriptionOcaml interface to z3.
Build Time2019-07-28 05:29:48 GMT
Size546.10 KB
6fb1ea4d96f9e7be0aaf97c2ed27ee1a
LicenseMIT
Buildrootf31-build-61366-28849
Provides
ocaml(Z3) = 27d3e9819c250e096671442097134fb7
ocaml(Z3enums) = cb1e20b700718f46973d7f5732231d61
ocaml(Z3native) = 256a3f0379cc9c50daf1a08adbdbbd53
ocaml-z3 = 4.8.5-2.fc31
ocaml-z3(riscv-64) = 4.8.5-2.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libgmp.so.10()(64bit)
libgomp.so.1()(64bit)
libpthread.so.0()(64bit)
libz3.so()(64bit)
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) = cdcc178ba2d8de0d62892e1a68bd0cfe
ocaml(Stdlib__obj) = 9f725e74fc3209d50af4a35f74f18b53
ocaml(Stdlib__pervasives) = ffb0eefbca3d14a1a48cbcb24e4eb181
ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136
ocaml(Z3enums) = cb1e20b700718f46973d7f5732231d61
ocaml(runtime) = 4.08.0
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(riscv-64) = 4.8.5-2.fc31
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 13 of 13
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/2c0.00 B
/usr/lib/.build-id/2c/cd20a41d2989645e4edab109eb6ef4dcfb513140.00 B
/usr/lib/.build-id/970.00 B
/usr/lib/.build-id/97/847046cbb59612454dfdf8a925fda4ba4b28bb41.00 B
/usr/lib64/ocaml/Z30.00 B
/usr/lib64/ocaml/Z3/META357.00 B
/usr/lib64/ocaml/Z3/dllz3ml.so347.66 KB
/usr/lib64/ocaml/Z3/z3.cmi113.57 KB
/usr/lib64/ocaml/Z3/z3enums.cmi17.99 KB
/usr/lib64/ocaml/Z3/z3ml.cma739.90 KB
/usr/lib64/ocaml/Z3/z3ml.cmxs787.64 KB
/usr/lib64/ocaml/Z3/z3native.cmi138.49 KB
Component of No Buildroots