Tue, 28 Jan 2025 22:13:58 UTC | login

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

ID1489296
Nameocaml-z3-devel
Version4.13.4
Release1.fc42
Epoch
Archriscv64
SummaryFiles for building ocaml applications that use z3
DescriptionFiles for building ocaml applications that use z3.
Build Time2025-01-12 09:18:44 GMT
Size761.71 KB
bf675e934ed11a9b854bb3ef6be03c50
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootf42-build-865735-173451
Provides
ocaml(Z3) = 0870377d5e238dafe5e60386e1770cd6
ocaml(Z3enums) = 6544f5e7ac42a224d083a31dad7f21df
ocaml(Z3native) = 74b2369bdb2674e5f676028c6081f784
ocaml-z3-devel = 4.13.4-1.fc42
ocaml-z3-devel(riscv-64) = 4.13.4-1.fc42
ocamlx(Z3) = 8bb9e6400fe4671f66d2558d7fe139f0
ocamlx(Z3enums) = 2c37fe887dde30f6a636d62618934485
ocamlx(Z3native) = 3db92c31f27f37d3626e6a328045adba
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1
ocaml(Q) = fded9f6db30753026b5c2d3012382e71
ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Callback) = e63ded0535f5b914a16b4f955e944303
ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7
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) = 344fdf1f860a9d8e1bb477fff2df886f
ocaml(Z3enums) = 6544f5e7ac42a224d083a31dad7f21df
ocaml(Z3native) = 74b2369bdb2674e5f676028c6081f784
ocaml-z3(riscv-64) = 4.13.4-1.fc42
ocaml-zarith-devel(riscv-64)
ocamlx(CamlinternalFormat) = f1ab66cb30c6feb059ed4e4305b99ad2
ocamlx(CamlinternalLazy) = e09503f1928c92c5b9d62c3a764fa02c
ocamlx(CamlinternalMod) = e135e1f1a48662d611cb95cdb87e889a
ocamlx(CamlinternalOO) = 4e613462c5209cda820b4c04f98c5b04
ocamlx(Q) = a954d2251cf4b2eee54dddaf91fb6990
ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91
ocamlx(Stdlib__Bytes) = ac33bbc94d1715627aedd97c0d71dbe5
ocamlx(Stdlib__Callback) = 7aa1be7b82afa7d3c7df7bb6ada1ece9
ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304
ocamlx(Stdlib__Printf) = d684bd439c5cd6675e8dbdb2407652fa
ocamlx(Z) = a650e1172a1f035e92162a3b49258c0b
ocamlx(Z3enums) = 2c37fe887dde30f6a636d62618934485
ocamlx(Z3native) = 3db92c31f27f37d3626e6a328045adba
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.15 MB
/usr/lib64/ocaml/Z3/z3.cmx607.03 KB
/usr/lib64/ocaml/Z3/z3.mli135.18 KB
/usr/lib64/ocaml/Z3/z3enums.cmx38.44 KB
/usr/lib64/ocaml/Z3/z3enums.mli6.68 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.03 KB
Component of
1 through 1 of 1
Buildroot descending sort Created State
f42-build-866040-173661 2025-01-12 20:36:17 expired