Fri, 25 Apr 2025 18:37:45 MSK | login

Information for RPM z3-debuginfo-4.13.4-1.el10_0.x86_64.rpm

ID388617
Namez3-debuginfo
Version4.13.4
Release1.el10_0
Epoch
Archx86_64
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-04-10 12:36:48 GMT
Size95.95 MB
28021f92c5540945c36f4f58f440876b
LicenseMIT
git:https://github.com/Z3Prover/z3.git
Buildrootinferit-10_0-extras-build-101516-188175
Provides
debuginfo(build-id) = f8b0736897d261776755ba33605cba04f36c13aa
z3-debuginfo = 4.13.4-1.el10_0
z3-debuginfo(x86-64) = 4.13.4-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(x86-64) = 4.13.4-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/f80.00 B
/usr/lib/debug/.build-id/f8/b0736897d261776755ba33605cba04f36c13aa60.00 B
/usr/lib/debug/.build-id/f8/b0736897d261776755ba33605cba04f36c13aa.debug68.00 B
/usr/lib/debug/.dwz0.00 B
/usr/lib/debug/.dwz/z3-4.13.4-1.el10_0.x86_64234.28 KB
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/bin0.00 B
/usr/lib/debug/usr/bin/z3-4.13.4-1.el10_0.x86_64.debug307.56 MB
Component of No Buildroots