ID | 651027 |
Name | kissat-devel |
Version | 0 |
Release | 0.1.20200704gitbaef460.fc33 |
Epoch | |
Arch | riscv64 |
Summary |
Description |
Build Time | 2020-08-13 11:00:29 GMT |
Size | 7.49 KB |
| e5148b3ffab35917ce217f0511f1d136 |
License | MIT |
Buildroot | f33-build-287304-53791 |
Provides |
kissat-devel = 0-0.1.20200704gitbaef460.fc33 |
kissat-devel(riscv-64) = 0-0.1.20200704gitbaef460.fc33 |
|
Obsoletes |
No Obsoletes
|
Conflicts |
No Conflicts
|
Requires |
kissat-libs(riscv-64) = 0-0.1.20200704gitbaef460.fc33 |
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 |
|