ID | 1265211 |
Name | kissat-devel |
Version | 3.1.1 |
Release | 4.fc40 |
Epoch | |
Arch | riscv64 |
Summary |
Description |
Build Time | 2024-03-27 11:42:40 GMT |
Size | 8.31 KB |
| 8013f16d3a524c0f54c3c948e2e53ceb |
License | MIT |
| https://github.com/arminbiere/kissat |
Buildroot | f40-build-798472-141898 |
Provides |
kissat-devel = 3.1.1-4.fc40 |
kissat-devel(riscv-64) = 3.1.1-4.fc40 |
|
Obsoletes |
No Obsoletes
|
Conflicts |
No Conflicts
|
Requires |
kissat-libs(riscv-64) = 3.1.1-4.fc40 |
libkissat.so.0()(64bit) |
rpmlib(CompressedFileNames) <= 3.0.4-1 |
rpmlib(FileDigests) <= 4.6.0-1 |
rpmlib(PayloadFilesHavePrefix) <= 4.0-1 |
rpmlib(PayloadIsZstd) <= 5.4.18-1 |
|
Recommends |
No Recommends
|
Suggests |
No Suggests
|
Supplements |
No Supplements
|
Enhances |
No Enhances
|
Files |
|
Component of |
|