ID | 109904 | ||||||
---|---|---|---|---|---|---|---|
Build | yices-2.6.5-8.fc42 | ||||||
Name | yices-tools-debuginfo | ||||||
Version | 2.6.5 | ||||||
Release | 8.fc42 | ||||||
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 | 2025-05-25 08:55:39 GMT | ||||||
Size | 16.48 MB | ||||||
76b7c943d89eb4af26a76ad7f93fab6c | |||||||
License | GPL-3.0-or-later AND BSD-3-Clause | ||||||
git:https://github.com/SRI-CSL/yices2.git | |||||||
Provides |
|
||||||
Obsoletes | No Obsoletes | ||||||
Conflicts | No Conflicts | ||||||
Requires |
|
||||||
Recommends |
|
||||||
Suggests | No Suggests | ||||||
Supplements | No Supplements | ||||||
Enhances | No Enhances | ||||||
Files | |||||||
Component of | No Buildroots |