Information for RPM lfsc-debuginfo-0.20230914-2.fc41.riscv64.rpm
| ID | 1413649 | |||||
|---|---|---|---|---|---|---|
| Name | lfsc-debuginfo | |||||
| Version | 0.20230914 | |||||
| Release | 2.fc41 | |||||
| Epoch | ||||||
| Arch | riscv64 | |||||
| Summary | Debug information for package lfsc | |||||
| Description | This package provides debug information for package lfsc. Debug information is useful when developing applications that use this package or when debugging this package. | |||||
| Build Time | 2024-08-08 16:56:41 GMT | |||||
| Size | 1.05 MB | |||||
| eb4098935d13dde879898ca1dbb4a506 | ||||||
| License | BSD-3-Clause | |||||
| git:https://github.com/cvc5/LFSC.git | ||||||
| Buildroot | f41-build-833579-157877 | |||||
| Provides |
|
|||||
| Obsoletes | No Obsoletes | |||||
| Conflicts | No Conflicts | |||||
| Requires |
|
|||||
| Recommends |
|
|||||
| Suggests | No Suggests | |||||
| Supplements | No Supplements | |||||
| Enhances | No Enhances | |||||
| Files | ||||||
| Component of | No Buildroots |
