Thu, 12 Dec 2024 09:58:34 UTC | login

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

ID1361498
Nameocaml-z3-devel
Version4.13.0
Release6.fc41
Epoch
Archriscv64
SummaryFiles for building ocaml applications that use z3
DescriptionFiles for building ocaml applications that use z3.
Build Time2024-07-24 11:39:22 GMT
Size757.01 KB
74952869a1a2a4d0bb4638656238fb41
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootf41-build-819988-151984
Provides
ocaml(Z3) = 941b1e0b6b380219821010a44a3cf832
ocaml(Z3enums) = 76b0225dda95a1d4facbd7bb2ee90f27
ocaml(Z3native) = ca368ed4e615ba010bccae7f1095125a
ocaml-z3-devel = 4.13.0-6.fc41
ocaml-z3-devel(riscv-64) = 4.13.0-6.fc41
ocamlx(Z3) = 5f48c6d4233a158bb68b24f5ed24b7c1
ocamlx(Z3enums) = 26e5c27bd9fc56bec2844d10a72701a7
ocamlx(Z3native) = 3954fb431644aa8afdfaaabe0b2311f2
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af
ocaml(Q) = a6fc2b40fa70161f18510a2ce82f2b42
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) = ca2658ea343645ad5d4facceca973ce7
ocaml(Z3enums) = 76b0225dda95a1d4facbd7bb2ee90f27
ocaml(Z3native) = ca368ed4e615ba010bccae7f1095125a
ocaml-z3(riscv-64) = 4.13.0-6.fc41
ocaml-zarith-devel(riscv-64)
ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028
ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50
ocamlx(CamlinternalMod) = 66b43cb6cb21f7cd3f1b3062981a81a0
ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3
ocamlx(Q) = 1af22509096e7b7d36c73dbb98ae8ebe
ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3
ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186
ocamlx(Stdlib__Callback) = bafc96ea60f2aa399fe753ac0e40f764
ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b
ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c
ocamlx(Z) = 824b141da65e7a4a8263069b6f02d10f
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.cmx606.98 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.81 KB
/usr/lib64/ocaml/Z3/z3native.cmx295.00 B
/usr/lib64/ocaml/Z3/z3native.mli67.18 KB
Component of
1 through 2 of 2
Buildroot descending sort Created State
f41-build-846721-163131 2024-09-13 01:45:53 expired
f41-build-838735-159724 2024-08-12 03:19:09 expired