Wed, 21 Oct 2026 04:29:21 UTC | login

Information for RPM ocaml-z3-devel-5.1.0-2.fc45.riscv64.rpm

ID94530
Buildz3-5.1.0-2.fc45
Nameocaml-z3-devel
Version5.1.0
Release2.fc45
Epoch
Archriscv64
DraftFalse
SummaryFiles for building ocaml applications that use z3
DescriptionFiles for building ocaml applications that use z3.
Build Time2026-10-18 07:59:21 GMT
Size2.15 MB
2e6dcae0f0633653f55ec08dfae1c141
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootf45-build-39343-733
Provides
ocaml(Z3) = 4f995c71b3a3693ae9a2ca08feaf88a2
ocaml(Z3enums) = 51a1d33b6ef297134c8443bf952b9d3f
ocaml(Z3native) = 668f050abeddedc79199c2050e18c727
ocaml-z3-devel = 5.1.0-2.fc45
ocaml-z3-devel(riscv-64) = 5.1.0-2.fc45
ocamlx(Z3) = 6aa181302130a7bee787b8b7cdb0902b
ocamlx(Z3enums) = 933f1718491613de3f1f99142eba3227
ocamlx(Z3native) = 95597f9b1bb16eb7a76d258348563506
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda
ocaml(CamlinternalMod) = 35f37f6a40dd41769a0e040d26ca6d6a
ocaml(Q) = 659754a9895bf87cdc992c6ffcc4b20a
ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f
ocaml(Stdlib__Array) = 09ad905d6230fc4f28ae1b69e8675e79
ocaml(Stdlib__Buffer) = c0940caa52bfb8d306ed2ca69af87ed6
ocaml(Stdlib__Callback) = 42025ff5ce6207abf8a8d25ca781e771
ocaml(Stdlib__Domain) = d11ad689f3e35d9892101961a1201121
ocaml(Stdlib__Either) = e4e548dbb128df23a9325d9cba39fc2f
ocaml(Stdlib__Format) = 5b2f2a54d0831d599db87620d18b8ca1
ocaml(Stdlib__Int32) = 6583ec691ad5b5d0403bb4dba14ff95a
ocaml(Stdlib__Int64) = 6c1bd23e0da837071a98f3330e9f1242
ocaml(Stdlib__List) = 81a27a0a9af489e91fa1d99f325067c2
ocaml(Stdlib__Nativeint) = 5a73f569861cc3c66639bcda63a82510
ocaml(Stdlib__Obj) = 26b40efd5c9a30f8c9c87c6133b5adbf
ocaml(Stdlib__Printf) = 3303d43852c2d96a670040b4fc4aefc6
ocaml(Stdlib__Random) = 956621158e7602665cb7b17716307400
ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111
ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1
ocaml(Z) = 6f4dc1533ce2000c365adfd65d52b204
ocaml(Z3enums) = 51a1d33b6ef297134c8443bf952b9d3f
ocaml(Z3native) = 668f050abeddedc79199c2050e18c727
ocaml-z3(riscv-64) = 5.1.0-2.fc45
ocaml-zarith-devel(riscv-64)
ocamlx(CamlinternalFormat) = dc180c9176757c64c3bec891737192f7
ocamlx(CamlinternalLazy) = a9db6b9eb86a19be74593902c38b0f20
ocamlx(CamlinternalMod) = 5b6b481c9dff33e3636632449743012a
ocamlx(CamlinternalOO) = 59c0079543031dadadc72c84dce48cf5
ocamlx(Q) = 3d479d310586c2161f7286042cbeadea
ocamlx(Stdlib) = 10ea0d72067578752b9337ef13a8c4b8
ocamlx(Stdlib__Array) = 8ec69c15a63db8574d415899732ab74e
ocamlx(Stdlib__Bytes) = f22b9e15bc8cc33a9742247380af4768
ocamlx(Stdlib__Callback) = f1c9ab062b85d2e8bfe3c1bd14c7307c
ocamlx(Stdlib__List) = de311163159cc81659beef6dd6b5f114
ocamlx(Stdlib__Printf) = ee4f90b3db36f6456cb9e4cb712076f2
ocamlx(Z) = 2765b84f5b08643db510a75b966078e3
ocamlx(Z3enums) = 933f1718491613de3f1f99142eba3227
ocamlx(Z3native) = 95597f9b1bb16eb7a76d258348563506
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.a15.64 MB
/usr/lib64/ocaml/Z3/z3.cmx672.37 KB
/usr/lib64/ocaml/Z3/z3.mli147.17 KB
/usr/lib64/ocaml/Z3/z3enums.cmx39.66 KB
/usr/lib64/ocaml/Z3/z3enums.mli7.02 KB
/usr/lib64/ocaml/Z3/z3ml.a2.13 MB
/usr/lib64/ocaml/Z3/z3ml.cmxa1.94 KB
/usr/lib64/ocaml/Z3/z3native.cmx296.00 B
/usr/lib64/ocaml/Z3/z3native.mli70.38 KB
Component of No Buildroots