Information for RPM cryptominisat-devel-5.6.5-1.fc30.riscv64.rpm
ID | 298447 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Name | cryptominisat-devel | ||||||||||
Version | 5.6.5 | ||||||||||
Release | 1.fc30 | ||||||||||
Epoch | |||||||||||
Arch | riscv64 | ||||||||||
Summary | Header files for developing with cryptominisat | ||||||||||
Description | Header files for developing applications that use cryptominisat. | ||||||||||
Build Time | 2018-12-05 05:10:03 GMT | ||||||||||
Size | 20.26 KB | ||||||||||
f4516394fcc452b30989198828580920 | |||||||||||
License | MIT | ||||||||||
Buildroot | f30-build-36263-20431 | ||||||||||
Provides |
|
||||||||||
Obsoletes |
|
||||||||||
Conflicts | No Conflicts | ||||||||||
Requires |
|
||||||||||
Recommends | No Recommends | ||||||||||
Suggests | No Suggests | ||||||||||
Supplements | No Supplements | ||||||||||
Enhances | No Enhances | ||||||||||
Files | |||||||||||
Component of |
|