Information for RPM cryptominisat-debuginfo-5.8.0-15.rvre0.fc40.riscv64.rpm
| ID | 1171443 | ||||
|---|---|---|---|---|---|
| Name | cryptominisat-debuginfo | ||||
| Version | 5.8.0 | ||||
| Release | 15.rvre0.fc40 | ||||
| Epoch | |||||
| Arch | riscv64 | ||||
| Summary | Debug information for package cryptominisat | ||||
| Description | This package provides debug information for package cryptominisat. Debug information is useful when developing applications that use this package or when debugging this package. | ||||
| Build Time | 2024-01-10 17:17:16 GMT | ||||
| Size | 604.39 KB | ||||
| 572c0a92d3bc6e674f1cdaf51bae01e2 | |||||
| License | MIT AND BSD-3-Clause | ||||
| Buildroot | f40-build-773510-127202 | ||||
| Provides |
|
||||
| Obsoletes | No Obsoletes | ||||
| Conflicts | No Conflicts | ||||
| Requires |
|
||||
| Recommends |
|
||||
| Suggests | No Suggests | ||||
| Supplements | No Supplements | ||||
| Enhances | No Enhances | ||||
| Files | |||||
| Component of | No Buildroots |
