Sun, 28 Apr 2024 17:46:51 UTC | login

Information for RPM z3-debuginfo-4.8.9-3.fc33.riscv64.rpm

ID740212
Namez3-debuginfo
Version4.8.9
Release3.fc33
Epoch
Archriscv64
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 Time2020-12-02 17:20:13 GMT
Size58.15 MB
0a8f20786bb7361f5d855f51f4a601dc
LicenseMIT
Buildrootf33-build-366413-60796
Provides
debuginfo(build-id) = 0efaed81d7776140b1303c9095ff0d4ebe73e140
z3-debuginfo = 4.8.9-3.fc33
z3-debuginfo(riscv-64) = 4.8.9-3.fc33
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.8.9-3.fc33
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/0e0.00 B
/usr/lib/debug/.build-id/0e/faed81d7776140b1303c9095ff0d4ebe73e14060.00 B
/usr/lib/debug/.build-id/0e/faed81d7776140b1303c9095ff0d4ebe73e140.debug66.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.8.9-3.fc33.riscv64219.83 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.8.9-3.fc33.riscv64.debug676.66 MB
Component of No Buildroots