Wed, 08 May 2024 09:22:57 UTC | login

Information for RPM z3-debuginfo-4.12.4-4.rvre0.fc40.riscv64.rpm

ID1164393
Namez3-debuginfo
Version4.12.4
Release4.rvre0.fc40
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 Time2023-12-31 15:34:09 GMT
Size92.78 MB
5e93cb4192c671d2c303e5bbe2780e08
LicenseMIT
Buildrootf40-build-769529-125678
Provides
debuginfo(build-id) = 6200a7c4f9607f246f13da3b8008e890df2a8998
z3-debuginfo = 4.12.4-4.rvre0.fc40
z3-debuginfo(riscv-64) = 4.12.4-4.rvre0.fc40
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.12.4-4.rvre0.fc40
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/620.00 B
/usr/lib/debug/.build-id/62/00a7c4f9607f246f13da3b8008e890df2a899860.00 B
/usr/lib/debug/.build-id/62/00a7c4f9607f246f13da3b8008e890df2a8998.debug73.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.12.4-4.rvre0.fc40.riscv6468.20 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.12.4-4.rvre0.fc40.riscv64.debug316.46 MB
Component of No Buildroots