Information for RPM minisat2-devel-2.2.1-19.fc40.riscv64.rpm
ID | 1267210 | ||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | minisat2-devel | ||||||||||||||||||||||||||||||||||||||||||||||||
Version | 2.2.1 | ||||||||||||||||||||||||||||||||||||||||||||||||
Release | 19.fc40 | ||||||||||||||||||||||||||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||||||||||||||||||||||||||
Summary | Development files for minisat2 | ||||||||||||||||||||||||||||||||||||||||||||||||
Description | The minisat2-devel package contains libraries and header files for developing applications that use minisat2. | ||||||||||||||||||||||||||||||||||||||||||||||||
Build Time | 2024-03-28 13:29:24 GMT | ||||||||||||||||||||||||||||||||||||||||||||||||
Size | 29.37 KB | ||||||||||||||||||||||||||||||||||||||||||||||||
51af107b1c4b297c9c97f41c692cab6b | |||||||||||||||||||||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||||||||||||||||||||
Buildroot | f40-build-799653-142442 | ||||||||||||||||||||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Component of |
|