Information for RPM z3-libs-debuginfo-4.7.1-5.fc29.riscv64.rpm
ID | 252818 | |||||
---|---|---|---|---|---|---|
Name | z3-libs-debuginfo | |||||
Version | 4.7.1 | |||||
Release | 5.fc29 | |||||
Epoch | ||||||
Arch | riscv64 | |||||
Summary | Debug information for package z3-libs | |||||
Description | This package provides debug information for package z3-libs. Debug information is useful when developing applications that use this package or when debugging this package. | |||||
Build Time | 2018-08-21 17:09:25 GMT | |||||
Size | 57.64 MB | |||||
74ed8bd8676247a18b52a8a0d8bda2a5 | ||||||
License | MIT | |||||
Buildroot | f29-build-27108-14176 | |||||
Provides |
|
|||||
Obsoletes | No Obsoletes | |||||
Conflicts | No Conflicts | |||||
Requires |
|
|||||
Recommends |
|
|||||
Suggests | No Suggests | |||||
Supplements | No Supplements | |||||
Enhances | No Enhances | |||||
Files | ||||||
Component of | No Buildroots |