Tue, 20 Oct 2026 23:55:52 UTC | login

Information for RPM z3-debuginfo-5.1.0-2.fc45.riscv64.rpm

ID94528
Buildz3-5.1.0-2.fc45
Namez3-debuginfo
Version5.1.0
Release2.fc45
Epoch
Archriscv64
DraftFalse
SummaryDebug information for package z3
DescriptionThis package provides debug information for package z3. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2026-10-18 07:59:21 GMT
Size135.69 MB
0a2c7ff9101cca1c78bd4c5e98b45117
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootf45-build-39343-733
Provides
debuginfo(build-id) = aa93de1283d0d843ab1e4cb044d03b25d2ea4f22
z3-debuginfo = 5.1.0-2.fc45
z3-debuginfo(riscv-64) = 5.1.0-2.fc45
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(PayloadIsZstd) <= 5.4.18-1
Recommends
z3-debugsource(riscv-64) = 5.1.0-2.fc45
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 10 of 10
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/aa0.00 B
/usr/lib/debug/.build-id/aa/93de1283d0d843ab1e4cb044d03b25d2ea4f2260.00 B
/usr/lib/debug/.build-id/aa/93de1283d0d843ab1e4cb044d03b25d2ea4f22.debug66.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-5.1.0-2.fc45.riscv6472.01 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-5.1.0-2.fc45.riscv64.debug462.16 MB
Component of No Buildroots