Wed, 25 Sep 2024 16:22:30 UTC | login

Information for RPM kissat-debuginfo-4.0.1-1.fc41.riscv64.rpm

ID1454175
Namekissat-debuginfo
Version4.0.1
Release1.fc41
Epoch
Archriscv64
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 Time2024-09-23 12:56:02 GMT
Size48.01 KB
88343461989535ea4b1a667f392707f0
LicenseMIT
git:https://github.com/arminbiere/kissat.git
Buildrootf41-build-850438-165391
Provides
debuginfo(build-id) = 482f3dabae948e4d00ed5b4ce867acd5bc82746d
kissat-debuginfo = 4.0.1-1.fc41
kissat-debuginfo(riscv-64) = 4.0.1-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
kissat-debugsource(riscv-64) = 4.0.1-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/480.00 B
/usr/lib/debug/.build-id/48/2f3dabae948e4d00ed5b4ce867acd5bc82746d60.00 B
/usr/lib/debug/.build-id/48/2f3dabae948e4d00ed5b4ce867acd5bc82746d.debug70.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/kissat-4.0.1-1.fc41.riscv6419.72 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/kissat-4.0.1-1.fc41.riscv64.debug87.23 KB
Component of No Buildroots