Thu, 09 May 2024 10:02:32 UTC | login

Information for RPM z3-debuginfo-4.11.2-1.fc37.riscv64.rpm

ID859800
Namez3-debuginfo
Version4.11.2
Release1.fc37
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 Time2022-10-26 14:00:55 GMT
Size70.12 MB
8150afcfeb0c9ed9c4fff3ba4046851c
LicenseMIT
Buildrootf37-build-658205-73355
Provides
debuginfo(build-id) = 8544502842e1d95ec1035c4b341975dd436d63f8
z3-debuginfo = 4.11.2-1.fc37
z3-debuginfo(riscv-64) = 4.11.2-1.fc37
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.11.2-1.fc37
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/850.00 B
/usr/lib/debug/.build-id/85/44502842e1d95ec1035c4b341975dd436d63f860.00 B
/usr/lib/debug/.build-id/85/44502842e1d95ec1035c4b341975dd436d63f8.debug67.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.11.2-1.fc37.riscv64213.96 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.11.2-1.fc37.riscv64.debug721.07 MB
Component of No Buildroots