Sun, 10 May 2026 10:46:50 CST | login

Information for RPM ocaml-z3-devel-4.12.6-1.oc9.loongarch64.rpm

ID466038
Buildz3-4.12.6-1.oc9
Nameocaml-z3-devel
Version4.12.6
Release1.oc9
Epoch
Archloongarch64
DraftFalse
SummaryFiles for building ocaml applications that use z3
DescriptionFiles for building ocaml applications that use z3.
Build Time2026-05-08 08:20:59 GMT
Size705.25 KB
77cfb0fd80e4a559114d39b78f777297
LicenseMIT
https://github.com/Z3Prover/z3
Buildrootdist-oc9-epol-build-239524-82596
Provides
ocaml(Z3) = 5d0c3d51287b795878f6b68a2608844f
ocaml(Z3enums) = 3cfbc664c3473c86e5b977ca67964c28
ocaml(Z3native) = 83fb54d9486dfb8a51f10e518a76916f
ocaml-z3-devel = 4.12.6-1.oc9
ocaml-z3-devel(loongarch-64) = 4.12.6-1.oc9
ocamlx(Z3) = 37663bf42164f302065843765fa86924
ocamlx(Z3enums) = 92a2b7c3882531f569d1ce767e6f5ef6
ocamlx(Z3native) = 2543c4e60ffff67b9073f3bf52ceea83
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 1068d69aaa4c252adfddcd00fc621c91
ocaml(CamlinternalMod) = 2d2d220039ba439f5076d98a3bb19104
ocaml(Q) = e0cc53000cc2ce054de5cabae44274e0
ocaml(Stdlib) = c58cfa3adb194700e6be5ae9791ba7ad
ocaml(Stdlib__Buffer) = 8f70a9fad322a49884c94c597a9e220e
ocaml(Stdlib__Callback) = e5e2c60f15a8962cfb0f7156a05c743d
ocaml(Stdlib__Domain) = 1232adc240e885b8bcd3ee17581b0fff
ocaml(Stdlib__Either) = 20eb2929bc72314d5c1675f8c8844da3
ocaml(Stdlib__Format) = af7f8234d58272e834d57d8a77840cf6
ocaml(Stdlib__Int32) = b2d1a2559ae5d9ec9a6e48db1ae003fd
ocaml(Stdlib__Int64) = 17c56dd41a1c31fb0f64e0ec682e4d92
ocaml(Stdlib__List) = 17210de5f334280e60e5c2d3c0d5e710
ocaml(Stdlib__Nativeint) = 84c534198cfefe4f19826f4845d8fb19
ocaml(Stdlib__Obj) = 84f58c21f12ea96e4832224508924e65
ocaml(Stdlib__Random) = 3d1a3513179fb276c4951cec49fb6528
ocaml(Stdlib__Seq) = be0ddc4fda866826cab6110a33c29bf7
ocaml(Stdlib__Uchar) = 4907c986f4c1390be5fd6621472942cb
ocaml(Z) = b5d6a21b15afae34b54f7fbb3bfd6b31
ocaml(Z3enums) = 3cfbc664c3473c86e5b977ca67964c28
ocaml(Z3native) = 83fb54d9486dfb8a51f10e518a76916f
ocaml-z3 = 4.12.6-1.oc9
ocaml-zarith-devel
ocamlx(CamlinternalLazy) = 7dbc1321768137d3631c0cace9bdeea7
ocamlx(CamlinternalMod) = 803c9a0c63ab11d9fe4ed63270dff910
ocamlx(CamlinternalOO) = 4f197c3c5561a69f87d97e03d1989656
ocamlx(Q) = 39cfb81b791b190a5bc2e62ea5a8d64d
ocamlx(Stdlib) = b288e505044e44eb43a25976bd92ea39
ocamlx(Stdlib__Callback) = f0c312b82b039e9f3bba8622df15d14a
ocamlx(Stdlib__List) = 433221a564f1d76e65b6e2855cac2a97
ocamlx(Z) = 4aa8a265d0dcd8702caf9b358d334db2
ocamlx(Z3enums) = 92a2b7c3882531f569d1ce767e6f5ef6
ocamlx(Z3native) = 2543c4e60ffff67b9073f3bf52ceea83
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-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.15 MB
/usr/lib64/ocaml/Z3/z3.cmx595.97 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.41 MB
/usr/lib64/ocaml/Z3/z3ml.cmxa1.58 KB
/usr/lib64/ocaml/Z3/z3native.cmx295.00 B
/usr/lib64/ocaml/Z3/z3native.mli67.15 KB
Component of No Buildroots