Tue, 26 Nov 2024 01:10:42 UTC | login

Information for RPM ocaml-z3-devel-4.13.0-2.fc41.riscv64.rpm

ID1307618
Nameocaml-z3-devel
Version4.13.0
Release2.fc41
Epoch
Archriscv64
SummaryFiles for building ocaml applications that use z3
DescriptionFiles for building ocaml applications that use z3.
Build Time2024-06-03 19:21:11 GMT
Size757.05 KB
5c64be12df2c35f5be09bf79f87a038a
LicenseMIT
https://github.com/Z3Prover/z3
Buildrootf41-build-811566-147307
Provides
ocaml(Z3) = 01a733f4e9dd86440c6bf917b6ee5a23
ocaml(Z3enums) = 76b0225dda95a1d4facbd7bb2ee90f27
ocaml(Z3native) = ca368ed4e615ba010bccae7f1095125a
ocaml-z3-devel = 4.13.0-2.fc41
ocaml-z3-devel(riscv-64) = 4.13.0-2.fc41
ocamlx(Z3) = ab4dcfd16c6aee4521a07e59915c1027
ocamlx(Z3enums) = 26e5c27bd9fc56bec2844d10a72701a7
ocamlx(Z3native) = 3954fb431644aa8afdfaaabe0b2311f2
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af
ocaml(Q) = e6b39910b85843ddfca1575a8629f993
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) = 64149d73e756a179b86a90e5c822d5ce
ocaml(Z3enums) = 76b0225dda95a1d4facbd7bb2ee90f27
ocaml(Z3native) = ca368ed4e615ba010bccae7f1095125a
ocaml-z3(riscv-64) = 4.13.0-2.fc41
ocaml-zarith-devel(riscv-64)
ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028
ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50
ocamlx(CamlinternalMod) = 66b43cb6cb21f7cd3f1b3062981a81a0
ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3
ocamlx(Q) = b6d682a588e37395142b3bc2b3a5c774
ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3
ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186
ocamlx(Stdlib__Callback) = bafc96ea60f2aa399fe753ac0e40f764
ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b
ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c
ocamlx(Z) = 03ba7126653ad2609264e50ad753c6a2
ocamlx(Z3enums) = 26e5c27bd9fc56bec2844d10a72701a7
ocamlx(Z3native) = 3954fb431644aa8afdfaaabe0b2311f2
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 9 of 9
Name ascending sort Size
/usr/lib64/ocaml/Z3/libz3ml.a4.10 MB
/usr/lib64/ocaml/Z3/z3.cmx607.03 KB
/usr/lib64/ocaml/Z3/z3.mli135.18 KB
/usr/lib64/ocaml/Z3/z3enums.cmx38.07 KB
/usr/lib64/ocaml/Z3/z3enums.mli6.61 KB
/usr/lib64/ocaml/Z3/z3ml.a1.55 MB
/usr/lib64/ocaml/Z3/z3ml.cmxa1.87 KB
/usr/lib64/ocaml/Z3/z3native.cmx295.00 B
/usr/lib64/ocaml/Z3/z3native.mli67.18 KB
Component of No Buildroots