Information for RPM cryptominisat-devel-5.6.3-1.fc29.riscv64.rpm
ID | 141286 | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Name | cryptominisat-devel | |||||||||
Version | 5.6.3 | |||||||||
Release | 1.fc29 | |||||||||
Epoch | ||||||||||
Arch | riscv64 | |||||||||
Summary | Header files for developing with cryptominisat | |||||||||
Description | Header files for developing applications that use cryptominisat. | |||||||||
Build Time | 2018-06-15 12:14:48 GMT | |||||||||
Size | 21.96 KB | |||||||||
a1f82ed94f3ae31f64a08d41a46b9fd0 | ||||||||||
License | MIT | |||||||||
Buildroot | f29-build-11825-5439 | |||||||||
Provides |
|
|||||||||
Obsoletes | No Obsoletes | |||||||||
Conflicts | No Conflicts | |||||||||
Requires |
|
|||||||||
Recommends | No Recommends | |||||||||
Suggests | No Suggests | |||||||||
Supplements | No Supplements | |||||||||
Enhances | No Enhances | |||||||||
Files | ||||||||||
Component of |
|