Information for RPM minisat2-devel-2.2.1-7.fc31.riscv64.rpm
ID | 388697 | ||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | minisat2-devel | ||||||||||||||||||||||||||||||||||||||||||||||||
Version | 2.2.1 | ||||||||||||||||||||||||||||||||||||||||||||||||
Release | 7.fc31 | ||||||||||||||||||||||||||||||||||||||||||||||||
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 | 2019-07-26 17:00:05 GMT | ||||||||||||||||||||||||||||||||||||||||||||||||
Size | 29.11 KB | ||||||||||||||||||||||||||||||||||||||||||||||||
252bb9dbf7f6cb204baa04c3c2b5e30f | |||||||||||||||||||||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||||||||||||||||||||
Buildroot | f31-build-55908-28162 | ||||||||||||||||||||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Component of |
|