ID 252822
Name z3-debuginfo
Version 4.7.1
Release 5.fc29
Epoch
Arch riscv64
Summary
Description
Build Time 2018-08-21 17:09:25 GMT
Size 56.73 MB
SIGMD5 29b2a6d8ace7bdae95631fb1a7f0dee2
License MIT
Buildroot f29-build-27108-14176
Provides
debuginfo(build-id) = 6a6daf939a2e2f7c2abe8cc39d591db4b40e4f37
z3-debuginfo = 4.7.1-5.fc29
z3-debuginfo(riscv-64) = 4.7.1-5.fc29
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
Recommends
z3-debugsource(riscv-64) = 4.7.1-5.fc29
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Component of
No Buildroots