fedora

Information for RPM z3-debuginfo-4.15.2-1.fc42.riscv64.rpm

ID121177
Buildz3-4.15.2-1.fc42
Namez3-debuginfo
Version4.15.2
Release1.fc42
Epoch
Archriscv64
DraftFalse
SummaryDebug information for package z3
DescriptionThis package provides debug information for package z3. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2025-07-17 10:20:57 GMT
Size131.23 MB
06bb89deb1dafbfe386a9187d647d47e
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootf42-build-422-66
Provides
debuginfo(build-id) = c447ac4c891d33f03e7b7178fcd39224b62ab1e1
z3-debuginfo = 4.15.2-1.fc42
z3-debuginfo(riscv-64) = 4.15.2-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
Recommends
z3-debugsource(riscv-64) = 4.15.2-1.fc42
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 10 of 10
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/c40.00 B
/usr/lib/debug/.build-id/c4/47ac4c891d33f03e7b7178fcd39224b62ab1e160.00 B
/usr/lib/debug/.build-id/c4/47ac4c891d33f03e7b7178fcd39224b62ab1e1.debug67.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.15.2-1.fc42.riscv6469.43 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.15.2-1.fc42.riscv64.debug451.12 MB
Component of No Buildroots