Mon, 13 Jan 2025 01:29:45 UTC | login

Information for RPM z3-debuginfo-4.13.4-1.fc42.riscv64.rpm

ID1489289
Namez3-debuginfo
Version4.13.4
Release1.fc42
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 Time2025-01-12 09:18:44 GMT
Size103.29 MB
8b04639008d305bbaed0e973ccdc50e5
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootf42-build-865735-173451
Provides
debuginfo(build-id) = 7d22896cd7c009604c75e835d4b076d17851054c
z3-debuginfo = 4.13.4-1.fc42
z3-debuginfo(riscv-64) = 4.13.4-1.fc42
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.4-1.fc42
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/7d0.00 B
/usr/lib/debug/.build-id/7d/22896cd7c009604c75e835d4b076d17851054c60.00 B
/usr/lib/debug/.build-id/7d/22896cd7c009604c75e835d4b076d17851054c.debug67.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.13.4-1.fc42.riscv6468.96 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.13.4-1.fc42.riscv64.debug353.79 MB
Component of No Buildroots