Information for RPM yices-tools-2.6.1-2.fc31.riscv64.rpm
ID | 396943 | ||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | yices-tools | ||||||||||||||||||||||||||||||||||||||
Version | 2.6.1 | ||||||||||||||||||||||||||||||||||||||
Release | 2.fc31 | ||||||||||||||||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||||||||||||||||
Summary | Command line tools that use the yices library | ||||||||||||||||||||||||||||||||||||||
Description | Command line tools that use the yices library. | ||||||||||||||||||||||||||||||||||||||
Build Time | 2019-07-28 06:00:38 GMT | ||||||||||||||||||||||||||||||||||||||
Size | 1.53 MB | ||||||||||||||||||||||||||||||||||||||
da8bcb14796e5587cec707b3e3df1918 | |||||||||||||||||||||||||||||||||||||||
License | GPLv3+ | ||||||||||||||||||||||||||||||||||||||
Buildroot | f31-build-61358-28847 | ||||||||||||||||||||||||||||||||||||||
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 |