Information for RPM yices-tools-2.6.1-3.fc31.riscv64.rpm
ID | 442307 | ||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | yices-tools | ||||||||||||||||||||||||||||||||||||||
Version | 2.6.1 | ||||||||||||||||||||||||||||||||||||||
Release | 3.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-08-04 01:59:01 GMT | ||||||||||||||||||||||||||||||||||||||
Size | 1.53 MB | ||||||||||||||||||||||||||||||||||||||
305f65c4c27b72e78690b8b1d68d507f | |||||||||||||||||||||||||||||||||||||||
License | GPLv3+ | ||||||||||||||||||||||||||||||||||||||
Buildroot | f31-build-71777-30675 | ||||||||||||||||||||||||||||||||||||||
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 |