ID | 877899 |
Name | kissat-devel |
Version | 3.0.0 |
Release | 2.fc37 |
Epoch | |
Arch | riscv64 |
Summary |
Description |
Build Time | 2022-11-09 13:26:58 GMT |
Size | 8.11 KB |
| e681c285c1e0f4b2036739c71a6acac8 |
License | MIT |
Buildroot | f37-build-670066-75033 |
Provides |
kissat-devel = 3.0.0-2.fc37 |
kissat-devel(riscv-64) = 3.0.0-2.fc37 |
|
Obsoletes |
No Obsoletes
|
Conflicts |
No Conflicts
|
Requires |
kissat-libs(riscv-64) = 3.0.0-2.fc37 |
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 |
|