| ID | 1454172 |
| Name | kissat-devel |
| Version | 4.0.1 |
| Release | 1.fc41 |
| Epoch | |
| Arch | riscv64 |
| Summary |
| Description |
| Build Time | 2024-09-23 12:56:02 GMT |
| Size | 8.40 KB |
| 7c5c0aad5e2e326ae80d9d440e7524a4 |
| License | MIT |
| git:https://github.com/arminbiere/kissat.git |
| Buildroot | f41-build-850438-165391 |
| Provides |
| kissat-devel = 4.0.1-1.fc41 |
| kissat-devel(riscv-64) = 4.0.1-1.fc41 |
|
| Obsoletes |
No Obsoletes
|
| Conflicts |
No Conflicts
|
| Requires |
| kissat-libs(riscv-64) = 4.0.1-1.fc41 |
| 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 |
|
