Information for RPM cryptominisat-devel-5.11.21-1.fc40.riscv64.rpm
ID | 1210190 | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | cryptominisat-devel | ||||||||||||||||||||||||
Version | 5.11.21 | ||||||||||||||||||||||||
Release | 1.fc40 | ||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||
Summary | Header files for developing with cryptominisat | ||||||||||||||||||||||||
Description | Header files for developing applications that use cryptominisat. | ||||||||||||||||||||||||
Build Time | 2024-02-25 17:23:46 GMT | ||||||||||||||||||||||||
Size | 24.95 KB | ||||||||||||||||||||||||
ac8a8345992bd3b364665b3b486a12c4 | |||||||||||||||||||||||||
License | MIT AND BSD-3-Clause | ||||||||||||||||||||||||
Buildroot | f40-build-781344-131566 | ||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||
Files | |||||||||||||||||||||||||
Component of |
|