| ID | 302825 | ||||||
|---|---|---|---|---|---|---|---|
| Build | cvc5-1.1.2-5.fc41 | ||||||
| Name | cvc5-libs-debuginfo | ||||||
| Version | 1.1.2 | ||||||
| Release | 5.fc41 | ||||||
| Epoch | |||||||
| Arch | riscv64 | ||||||
| Draft | False | ||||||
| Summary | Debug information for package cvc5-libs | ||||||
| Description | This package provides debug information for package cvc5-libs. Debug information is useful when developing applications that use this package or when debugging this package. | ||||||
| Build Time | 2024-09-05 14:31:16 GMT | ||||||
| Size | 98.02 MB | ||||||
| 342282c65d967b086a77e42e2b1094e2 | |||||||
| License | BSD-3-Clause AND MIT | ||||||
| git:https://github.com/cvc5/cvc5.git | |||||||
| Buildroot | f41-build-side-1-2633770-25953 | ||||||
| Provides |
|
||||||
| Obsoletes | No Obsoletes | ||||||
| Conflicts | No Conflicts | ||||||
| Requires |
|
||||||
| Recommends |
|
||||||
| Suggests | No Suggests | ||||||
| Supplements | No Supplements | ||||||
| Enhances | No Enhances | ||||||
| Files | |||||||
| Component of | No Buildroots |
