Information for RPM minisat2-devel-2.2.1-16.fc38.riscv64.rpm
ID | 983370 | ||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | minisat2-devel | ||||||||||||||||||||||||||||||||||||||||||||||||
Version | 2.2.1 | ||||||||||||||||||||||||||||||||||||||||||||||||
Release | 16.fc38 | ||||||||||||||||||||||||||||||||||||||||||||||||
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 | 2023-03-30 15:03:32 GMT | ||||||||||||||||||||||||||||||||||||||||||||||||
Size | 29.42 KB | ||||||||||||||||||||||||||||||||||||||||||||||||
56258310dd2bb9389e9468a1db763f50 | |||||||||||||||||||||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||||||||||||||||||||
Buildroot | f38-build-702598-89350 | ||||||||||||||||||||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||||||||||||||||||||
Component of |
|