Information for RPM cryptominisat-devel-5.8.0-12.fc38.riscv64.rpm
ID | 970921 | ||||||||
---|---|---|---|---|---|---|---|---|---|
Name | cryptominisat-devel | ||||||||
Version | 5.8.0 | ||||||||
Release | 12.fc38 | ||||||||
Epoch | |||||||||
Arch | riscv64 | ||||||||
Summary | Header files for developing with cryptominisat | ||||||||
Description | Header files for developing applications that use cryptominisat. | ||||||||
Build Time | 2023-03-16 15:30:51 GMT | ||||||||
Size | 21.11 KB | ||||||||
57736bba976b684031d8d2b5587298c8 | |||||||||
License | MIT AND BSD-3-Clause | ||||||||
Buildroot | f38-build-696031-85975 | ||||||||
Provides |
|
||||||||
Obsoletes | No Obsoletes | ||||||||
Conflicts | No Conflicts | ||||||||
Requires |
|
||||||||
Recommends | No Recommends | ||||||||
Suggests | No Suggests | ||||||||
Supplements | No Supplements | ||||||||
Enhances | No Enhances | ||||||||
Files | |||||||||
Component of | No Buildroots |