Information for RPM yices-devel-2.6.1-2.fc31.riscv64.rpm
ID | 396940 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | yices-devel | ||||||||||||||||
Version | 2.6.1 | ||||||||||||||||
Release | 2.fc31 | ||||||||||||||||
Epoch | |||||||||||||||||
Arch | riscv64 | ||||||||||||||||
Summary | Development files for yices | ||||||||||||||||
Description | This package contains the header files necessary for developing programs which use yices. | ||||||||||||||||
Build Time | 2019-07-28 06:00:38 GMT | ||||||||||||||||
Size | 38.27 KB | ||||||||||||||||
17b4c52d1283fa7e71c46ebb977123aa | |||||||||||||||||
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 |