Sun, 10 May 2026 12:22:44 CST | login

Information for RPM z3-libs-debuginfo-4.12.6-1.oc9.x86_64.rpm

ID466014
Buildz3-4.12.6-1.oc9
Namez3-libs-debuginfo
Version4.12.6
Release1.oc9
Epoch
Archx86_64
DraftFalse
SummaryDebug information for package z3-libs
DescriptionThis package provides debug information for package z3-libs. Debug information is useful when developing applications that use this package or when debugging this package.
Build Time2026-05-08 08:52:23 GMT
Size102.60 MB
f93c04689d5c7a174232db4dbcf29812
LicenseMIT
https://github.com/Z3Prover/z3
Buildrootdist-oc9-epol-build-239517-82596
Provides
debuginfo(build-id) = e936bd92fd9e6947acc569d9c86cfac75b1e4799
libz3.so.4.12.6.0-4.12.6-1.oc9.x86_64.debug()(64bit)
z3-libs-debuginfo = 4.12.6-1.oc9
z3-libs-debuginfo(x86-64) = 4.12.6-1.oc9
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(PayloadIsXz) <= 5.2-1
Recommends
z3-debugsource(x86-64) = 4.12.6-1.oc9
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 8 of 8
Name ascending sort Size
/usr/lib/debug0.00 B
/usr/lib/debug/.build-id0.00 B
/usr/lib/debug/.build-id/e90.00 B
/usr/lib/debug/.build-id/e9/36bd92fd9e6947acc569d9c86cfac75b1e479960.00 B
/usr/lib/debug/.build-id/e9/36bd92fd9e6947acc569d9c86cfac75b1e4799.debug82.00 B
/usr/lib/debug/usr0.00 B
/usr/lib/debug/usr/lib640.00 B
/usr/lib/debug/usr/lib64/libz3.so.4.12.6.0-4.12.6-1.oc9.x86_64.debug366.73 MB
Component of No Buildroots