ID 110158
Build z3-4.15.0-1.fc42
Name z3-libs-debuginfo
Version 4.15.0
Release 1.fc42
Epoch
Arch riscv64
Draft False
Summary
Description
Build Time 2025-06-04 09:31:57 GMT
Size 130.09 MB
SIGMD5 b16a01cf71d946ff5cf9c905107b49da
License MIT
VCS git:https://github.com/Z3Prover/z3.git
Provides
debuginfo(build-id) = 1380b9c4a7ac4ef1a834a486ea6b749af586ead8
libz3.so.4.15.0.0-4.15.0-1.fc42.riscv64.debug()(64bit)
z3-libs-debuginfo = 4.15.0-1.fc42
z3-libs-debuginfo(riscv-64) = 4.15.0-1.fc42
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
z3-debuginfo(riscv-64) = 4.15.0-1.fc42
Recommends
z3-debugsource(riscv-64) = 4.15.0-1.fc42
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Component of
No Buildroots