Fri, 25 Apr 2025 20:58:54 MSK | login

Information for RPM z3-debuginfo-4.13.2-1.el10_0.aarch64.rpm

ID330298
Namez3-debuginfo
Version4.13.2
Release1.el10_0
Epoch
Archaarch64
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-05 18:37:14 GMT
Size89.89 MB
5911f25a2f193f84099ffa570845d71d
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootinferit-10_0-extras-build-88119-160607
Provides
debuginfo(build-id) = 293a868d485110cbccf11f76a48f54dda2b43efb
z3-debuginfo = 4.13.2-1.el10_0
z3-debuginfo(aarch-64) = 4.13.2-1.el10_0
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(aarch-64) = 4.13.2-1.el10_0
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/290.00 B
/usr/lib/debug/.build-id/29/3a868d485110cbccf11f76a48f54dda2b43efb60.00 B
/usr/lib/debug/.build-id/29/3a868d485110cbccf11f76a48f54dda2b43efb.debug69.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.13.2-1.el10_0.aarch64233.47 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.13.2-1.el10_0.aarch64.debug295.06 MB
Component of No Buildroots