ID | 487372 | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | kissat-3.1.1-2.fc40 | |||||||||||||||
Name | kissat-devel | |||||||||||||||
Version | 3.1.1 | |||||||||||||||
Release | 2.fc40 | |||||||||||||||
Epoch | ||||||||||||||||
Arch | riscv64 | |||||||||||||||
Draft | False | |||||||||||||||
Summary | Development files for kissat | |||||||||||||||
Description | Library links and header files for developing applications that use kissat. | |||||||||||||||
Build Time | 2024-01-23 22:58:22 GMT | |||||||||||||||
Size | 8.13 KB | |||||||||||||||
904a2c4254eb466ee158e2fb8c9a7e64 | ||||||||||||||||
License | MIT | |||||||||||||||
Buildroot | f40-build-2293098-56167 | |||||||||||||||
Provides |
|
|||||||||||||||
Obsoletes | No Obsoletes | |||||||||||||||
Conflicts | No Conflicts | |||||||||||||||
Requires |
|
|||||||||||||||
Recommends | No Recommends | |||||||||||||||
Suggests | No Suggests | |||||||||||||||
Supplements | No Supplements | |||||||||||||||
Enhances | No Enhances | |||||||||||||||
Files |
|
|||||||||||||||
Component of |
|