Thu, 09 May 2024 15:40:44 UTC | login

Information for RPM z3-debuginfo-4.12.1-2.rvre0.fc38.riscv64.rpm

ID1001481
Namez3-debuginfo
Version4.12.1
Release2.rvre0.fc38
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-05-10 08:08:13 GMT
Size76.17 MB
516d7ab4f0a30dcccfdc78339f70ddca
LicenseMIT
Buildrootf38-build-710158-93251
Provides
debuginfo(build-id) = 76101cc2115ac0256d2a7f4de98c3e7275a29375
z3-debuginfo = 4.12.1-2.rvre0.fc38
z3-debuginfo(riscv-64) = 4.12.1-2.rvre0.fc38
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.1-2.rvre0.fc38
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/760.00 B
/usr/lib/debug/.build-id/76/101cc2115ac0256d2a7f4de98c3e7275a2937560.00 B
/usr/lib/debug/.build-id/76/101cc2115ac0256d2a7f4de98c3e7275a29375.debug73.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.12.1-2.rvre0.fc38.riscv64214.51 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.12.1-2.rvre0.fc38.riscv64.debug790.79 MB
Component of No Buildroots