Information for RPM ocaml-z3-devel-4.15.2-1.fc42.riscv64.rpm

ID121181
Buildz3-4.15.2-1.fc42
Nameocaml-z3-devel
Version4.15.2
Release1.fc42
Epoch
Archriscv64
DraftFalse
SummaryFiles for building ocaml applications that use z3
DescriptionFiles for building ocaml applications that use z3.
Build Time2025-07-17 10:20:57 GMT
Size887.96 KB
fe2af55378e337af11cf78c0870f73c3
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootf42-build-422-66
Provides
ocaml(Z3) = 39c2b37455dfd11f9766eb7b24498d43
ocaml(Z3enums) = f358b63e9bb05b80c0cbf03df628fe75
ocaml(Z3native) = cc265b572ef958d2263c06d9683a0360
ocaml-z3-devel = 4.15.2-1.fc42
ocaml-z3-devel(riscv-64) = 4.15.2-1.fc42
ocamlx(Z3) = abf1e7b16f68245f5df1e967506f3d4f
ocamlx(Z3enums) = 8ab50142d9ad21e9d086fd37e254c935
ocamlx(Z3native) = e496d6c3b311cb5203a98642c4055b4b
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1
ocaml(Q) = fded9f6db30753026b5c2d3012382e71
ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Callback) = e63ded0535f5b914a16b4f955e944303
ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705
ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3
ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f
ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
ocaml(Z) = 55f40794517dfa18b2d04a9737864b3d
ocaml(Z3enums) = f358b63e9bb05b80c0cbf03df628fe75
ocaml(Z3native) = cc265b572ef958d2263c06d9683a0360
ocaml-z3(riscv-64) = 4.15.2-1.fc42
ocaml-zarith-devel(riscv-64)
ocamlx(CamlinternalFormat) = 8dd3be4582e976f0a6f69a910d4a5efe
ocamlx(CamlinternalLazy) = 0e6771bef2d6105214922b2a203a753d
ocamlx(CamlinternalMod) = 112fb4863484ad75e3623a35e3f88e27
ocamlx(CamlinternalOO) = 3531e65d99268c316e24f5559d523cc5
ocamlx(Q) = 42672a16ff4413f557f78dcc1495afd4
ocamlx(Stdlib) = 29ccdc189a615dabadac01b99d97fd28
ocamlx(Stdlib__Bytes) = 18ef580ddbffe6a1280e9aed4494c4d3
ocamlx(Stdlib__Callback) = dde836f3aa5be93ac0009995797d62b6
ocamlx(Stdlib__List) = 3f29768f7527d3ab37c91af9aa0997df
ocamlx(Stdlib__Printf) = 02eeb55af45bc28bbfbc703d255ac2b0
ocamlx(Z) = 2a0fa63d580ee64db2d170f2c459a3ea
ocamlx(Z3enums) = 8ab50142d9ad21e9d086fd37e254c935
ocamlx(Z3native) = e496d6c3b311cb5203a98642c4055b4b
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.a5.12 MB
/usr/lib64/ocaml/Z3/z3.cmx607.34 KB
/usr/lib64/ocaml/Z3/z3.mli135.45 KB
/usr/lib64/ocaml/Z3/z3enums.cmx38.64 KB
/usr/lib64/ocaml/Z3/z3enums.mli6.74 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.mli68.45 KB
Component of No Buildroots