Information for RPM yices-tools-debuginfo-2.7.0-10.fc45.riscv64.rpm
| ID | 94119 | ||||||
|---|---|---|---|---|---|---|---|
| Build | yices-2.7.0-10.fc45 | ||||||
| Name | yices-tools-debuginfo | ||||||
| Version | 2.7.0 | ||||||
| Release | 10.fc45 | ||||||
| Epoch | |||||||
| Arch | riscv64 | ||||||
| Draft | False | ||||||
| Summary | Debug information for package yices-tools | ||||||
| Description | This package provides debug information for package yices-tools. Debug information is useful when developing applications that use this package or when debugging this package. | ||||||
| Build Time | 2026-10-18 08:04:07 GMT | ||||||
| Size | 16.98 MB | ||||||
| 93317b3756c45b597f24e746a72fad46 | |||||||
| License | GPL-3.0-or-later AND BSD-3-Clause | ||||||
| git:https://github.com/SRI-CSL/yices2.git | |||||||
| Buildroot | f45-build-39358-733 | ||||||
| Provides |
|
||||||
| Obsoletes | No Obsoletes | ||||||
| Conflicts | No Conflicts | ||||||
| Requires |
|
||||||
| Recommends |
|
||||||
| Suggests | No Suggests | ||||||
| Supplements | No Supplements | ||||||
| Enhances | No Enhances | ||||||
| Files | |||||||
| Component of | No Buildroots |
