Information for RPM yices-tools-debuginfo-2.6.1-1.fc30.riscv64.rpm
ID | 297084 | ||||||
---|---|---|---|---|---|---|---|
Name | yices-tools-debuginfo | ||||||
Version | 2.6.1 | ||||||
Release | 1.fc30 | ||||||
Epoch | |||||||
Arch | riscv64 | ||||||
Summary | Debug information for package yices-tools | ||||||
Description | This package provides debug information for package yices-tools. Debug information is useful when developing applications that use this package or when debugging this package. | ||||||
Build Time | 2018-12-04 21:53:51 GMT | ||||||
Size | 9.00 MB | ||||||
61735f4c7c6cfbded04414176b6b2bfd | |||||||
License | GPLv3+ | ||||||
Buildroot | f30-build-36039-20252 | ||||||
Provides |
|
||||||
Obsoletes | No Obsoletes | ||||||
Conflicts | No Conflicts | ||||||
Requires |
|
||||||
Recommends |
|
||||||
Suggests | No Suggests | ||||||
Supplements | No Supplements | ||||||
Enhances | No Enhances | ||||||
Files | |||||||
Component of | No Buildroots |