Sun, 16 Feb 2025 22:05:27 UTC | login

Information for RPM z3-debuginfo-4.13.0-6.fc41.riscv64.rpm

ID1361491
Namez3-debuginfo
Version4.13.0
Release6.fc41
Epoch
Archriscv64
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 Time2024-07-24 11:39:22 GMT
Size95.83 MB
b4eeb18d0d98d32813ce63466869a543
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootf41-build-819988-151984
Provides
debuginfo(build-id) = f9db21db9b253225dd46de39b5b5657bda8bf1e9
z3-debuginfo = 4.13.0-6.fc41
z3-debuginfo(riscv-64) = 4.13.0-6.fc41
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) = 4.13.0-6.fc41
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/f90.00 B
/usr/lib/debug/.build-id/f9/db21db9b253225dd46de39b5b5657bda8bf1e960.00 B
/usr/lib/debug/.build-id/f9/db21db9b253225dd46de39b5b5657bda8bf1e9.debug67.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.13.0-6.fc41.riscv6468.26 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.13.0-6.fc41.riscv64.debug327.56 MB
Component of No Buildroots