Information for RPM cryptominisat-debuginfo-5.8.0-15.fc40.riscv64.rpm
ID | 1066669 | ||||
---|---|---|---|---|---|
Name | cryptominisat-debuginfo | ||||
Version | 5.8.0 | ||||
Release | 15.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 | 2023-10-31 17:05:11 GMT | ||||
Size | 582.21 KB | ||||
6a8a86958aab591c8fa94f9fc1141a85 | |||||
License | MIT AND BSD-3-Clause | ||||
Buildroot | f40-build-734337-105815 | ||||
Provides |
|
||||
Obsoletes | No Obsoletes | ||||
Conflicts | No Conflicts | ||||
Requires |
|
||||
Recommends |
|
||||
Suggests | No Suggests | ||||
Supplements | No Supplements | ||||
Enhances | No Enhances | ||||
Files | |||||
Component of | No Buildroots |