Information for RPM cryptominisat-devel-5.0.1-3.fc29.riscv64.rpm
ID | 120603 | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Name | cryptominisat-devel | |||||||||
Version | 5.0.1 | |||||||||
Release | 3.fc29 | |||||||||
Epoch | ||||||||||
Arch | riscv64 | |||||||||
Summary | Header files for developing with cryptominisat | |||||||||
Description | Header files for developing applications that use cryptominisat. | |||||||||
Build Time | 2018-06-07 16:07:03 GMT | |||||||||
Size | 16.25 KB | |||||||||
ccd4417ebf8b29abe693f5e65fcbffda | ||||||||||
License | LGPLv2 | |||||||||
Buildroot | f29-build-8631-3297 | |||||||||
Provides |
|
|||||||||
Obsoletes | No Obsoletes | |||||||||
Conflicts | No Conflicts | |||||||||
Requires |
|
|||||||||
Recommends | No Recommends | |||||||||
Suggests | No Suggests | |||||||||
Supplements | No Supplements | |||||||||
Enhances | No Enhances | |||||||||
Files | ||||||||||
Component of |
|