Sat, 11 May 2024 06:47:26 UTC | login

Information for RPM kissat-debuginfo-3.1.1-4.fc40.riscv64.rpm

ID1265209
Namekissat-debuginfo
Version3.1.1
Release4.fc40
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-03-27 11:42:40 GMT
Size46.72 KB
e17811c7f3f87ba9d444d1d7e8f4f4d9
LicenseMIT
https://github.com/arminbiere/kissat
Buildrootf40-build-798472-141898
Provides
debuginfo(build-id) = 2aed0cf357f8249d7c50a24d6dfb1c664fd612f2
kissat-debuginfo = 3.1.1-4.fc40
kissat-debuginfo(riscv-64) = 3.1.1-4.fc40
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) = 3.1.1-4.fc40
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/2a0.00 B
/usr/lib/debug/.build-id/2a/ed0cf357f8249d7c50a24d6dfb1c664fd612f260.00 B
/usr/lib/debug/.build-id/2a/ed0cf357f8249d7c50a24d6dfb1c664fd612f2.debug70.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/kissat-3.1.1-4.fc40.riscv6416.83 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/kissat-3.1.1-4.fc40.riscv64.debug93.10 KB
Component of No Buildroots