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 |
|
|||||||||
