Information for RPM yices-tools-2.6.1-1.fc30.riscv64.rpm
ID | 297085 | ||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | yices-tools | ||||||||||||||||||||||||||||||||||||
Version | 2.6.1 | ||||||||||||||||||||||||||||||||||||
Release | 1.fc30 | ||||||||||||||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||||||||||||||
Summary | Command line tools that use the yices library | ||||||||||||||||||||||||||||||||||||
Description | Command line tools that use the yices library. | ||||||||||||||||||||||||||||||||||||
Build Time | 2018-12-04 21:53:51 GMT | ||||||||||||||||||||||||||||||||||||
Size | 1.74 MB | ||||||||||||||||||||||||||||||||||||
cc30218b09063cb8df710e33343aff6e | |||||||||||||||||||||||||||||||||||||
License | GPLv3+ | ||||||||||||||||||||||||||||||||||||
Buildroot | f30-build-36039-20252 | ||||||||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||||||||
Component of | No Buildroots |