fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for RPM z3-debuginfo-4.13.3-1.fc41.riscv64.rpm

ID404009
Buildz3-4.13.3-1.fc41
Namez3-debuginfo
Version4.13.3
Release1.fc41
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 Time2024-10-12 11:56:46 GMT
Size83.01 MB
0c8da0194e5eda9d53f920f0fb573e64
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootf41-build-side-1-2941008-35336
Provides
debuginfo(build-id) = 8eab7ced25fc68bd906e0b35cc08dd0049e44722
z3-debuginfo = 4.13.3-1.fc41
z3-debuginfo(riscv-64) = 4.13.3-1.fc41
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.13.3-1.fc41
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/8e0.00 B
/usr/lib/debug/.build-id/8e/ab7ced25fc68bd906e0b35cc08dd0049e4472260.00 B
/usr/lib/debug/.build-id/8e/ab7ced25fc68bd906e0b35cc08dd0049e44722.debug67.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.13.3-1.fc41.riscv64233.46 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.13.3-1.fc41.riscv64.debug824.46 MB
Component of No Buildroots