ID 877900
Name kissat-libs-debuginfo
Version 3.0.0
Release 2.fc37
Epoch
Arch riscv64
Summary
Description
Build Time 2022-11-09 13:26:58 GMT
Size 425.35 KB
SIGMD5 0b96772a366c15d7e09c1acf6d818132
License MIT
Buildroot f37-build-670066-75033
Provides
debuginfo(build-id) = 2e16cc1c74f51bf7e08d1af0a09428abc520cbc3
kissat-libs-debuginfo = 3.0.0-2.fc37
kissat-libs-debuginfo(riscv-64) = 3.0.0-2.fc37
libkissat.so.0.0.0-3.0.0-2.fc37.riscv64.debug()(64bit)
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
kissat-debuginfo(riscv-64) = 3.0.0-2.fc37
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.0.0-2.fc37
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Component of
No Buildroots