ID 971243
Name kissat-libs-debuginfo
Version 3.0.0
Release 3.fc38
Epoch
Arch riscv64
Summary
Description
Build Time 2023-03-16 17:55:59 GMT
Size 443.95 KB
SIGMD5 aa9256f56bfa929ae59db87a1b3ffbcc
License MIT
Buildroot f38-build-696119-86107
Provides
debuginfo(build-id) = 5c6b6670a46d74fe28e91da12a119e0c58c39546
kissat-libs-debuginfo = 3.0.0-3.fc38
kissat-libs-debuginfo(riscv-64) = 3.0.0-3.fc38
libkissat.so.0.0.0-3.0.0-3.fc38.riscv64.debug()(64bit)
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
kissat-debuginfo(riscv-64) = 3.0.0-3.fc38
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-3.fc38
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Component of
No Buildroots