ID 320756
Name z3-debuginfo
Version 4.8.4
Release 1.fc30
Epoch
Arch riscv64
Summary
Description
Build Time 2019-01-12 02:35:45 GMT
Size 925.93 KB
SIGMD5 b2c181ccd7eaced4532096f7b0243645
License MIT
Buildroot f30-build-41765-23587
Provides
debuginfo(build-id) = ebaffc5f60ae582b93e058558c964148b1bd7e94
z3-debuginfo = 4.8.4-1.fc30
z3-debuginfo(riscv-64) = 4.8.4-1.fc30
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.8.4-1.fc30
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Component of
No Buildroots