Information for RPM minisat2-devel-2.2.1-11.fc33.riscv64.rpm
ID | 687292 | ||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | minisat2-devel | ||||||||||||||||||||||||||||||||||||||||||||||||
Version | 2.2.1 | ||||||||||||||||||||||||||||||||||||||||||||||||
Release | 11.fc33 | ||||||||||||||||||||||||||||||||||||||||||||||||
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 | 2020-08-14 11:40:43 GMT | ||||||||||||||||||||||||||||||||||||||||||||||||
Size | 29.36 KB | ||||||||||||||||||||||||||||||||||||||||||||||||
085587956561138ab3db7de64a4c235f | |||||||||||||||||||||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||||||||||||||||||||
Buildroot | f33-build-295108-55427 | ||||||||||||||||||||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Component of |