ID | 109802 |
Build | yices-2.6.5-8.fc42 |
Name | yices-devel |
Version | 2.6.5 |
Release | 8.fc42 |
Epoch | |
Arch | riscv64 |
Draft | False |
Summary |
Description |
Build Time | 2025-05-25 08:55:39 GMT |
Size | 43.27 KB |
| beebeca23a5abd21423a6a677cc47982 |
License | GPL-3.0-or-later AND BSD-3-Clause |
| git:https://github.com/SRI-CSL/yices2.git |
Provides |
yices-devel = 2.6.5-8.fc42 |
yices-devel(riscv-64) = 2.6.5-8.fc42 |
|
Obsoletes |
No Obsoletes
|
Conflicts |
No Conflicts
|
Requires |
gmp-devel(riscv-64) |
libyices.so.2.6()(64bit) |
rpmlib(CompressedFileNames) <= 3.0.4-1 |
rpmlib(FileDigests) <= 4.6.0-1 |
rpmlib(PayloadFilesHavePrefix) <= 4.0-1 |
rpmlib(PayloadIsZstd) <= 5.4.18-1 |
yices(riscv-64) = 2.6.5-8.fc42 |
|
Recommends |
No Recommends
|
Suggests |
No Suggests
|
Supplements |
No Supplements
|
Enhances |
No Enhances
|
Files |
|
Component of |
No Buildroots
|