fedora

Information for RPM kissat-debuginfo-4.0.2-1.fc42.riscv64.rpm

ID32140
Buildkissat-4.0.2-1.fc42
Namekissat-debuginfo
Version4.0.2
Release1.fc42
Epoch
Archriscv64
DraftFalse
SummaryDebug information for package kissat
DescriptionThis package provides debug information for package kissat. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2025-03-04 22:59:56 GMT
Size53.46 KB
fb1e92592f9a50524665be2499ecc809
LicenseMIT
git:https://github.com/arminbiere/kissat.git
Provides
debuginfo(build-id) = 77b7af3438d5c3f69d9eb7d1fabc9e4e828eec59
kissat-debuginfo = 4.0.2-1.fc42
kissat-debuginfo(riscv-64) = 4.0.2-1.fc42
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
kissat-debugsource(riscv-64) = 4.0.2-1.fc42
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/770.00 B
/usr/lib/debug/.build-id/77/b7af3438d5c3f69d9eb7d1fabc9e4e828eec5960.00 B
/usr/lib/debug/.build-id/77/b7af3438d5c3f69d9eb7d1fabc9e4e828eec59.debug70.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/kissat-4.0.2-1.fc42.riscv6420.62 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/kissat-4.0.2-1.fc42.riscv64.debug103.85 KB
Component of No Buildroots