INFO
Name: z3-debuginfo
Version: 4.8.10-3.el9
Arch: i686
Summary: Debug information for package z3
License: MIT
Vendor: Rocky Enterprise Software Foundation
Build Host: pb-f718c0ff-5645-49d6-96da-c73a4d494b28-b-i686
Build Date: Mon Dec 12 23:27:43 2022
Size: 229348618
URL: https://github.com/Z3Prover/z3
Description: This package provides debug information for package z3.
Debug information is useful when developing applications that use this
package or when debugging this package.
FILES
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/20
/usr/lib/debug/.build-id/20/654337c16481fc2a59552c6961deb990f533b8
/usr/lib/debug/.build-id/20/654337c16481fc2a59552c6961deb990f533b8.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/z3-4.8.10-3.el9.i386
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/z3-4.8.10-3.el9.i386.debug
REQUIRES
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
PROVIDES
debuginfo(build-id) 20654337c16481fc2a59552c6961deb990f533b8
z3-debuginfo 4.8.10-3.el9
z3-debuginfo(x86-32) 4.8.10-3.el9
CONFIG FILES
/usr/lib/debug
/usr/lib/debug/.build-id a
/usr/lib/debug/.build-id/20 a
/usr/lib/debug/.build-id/20/654337c16481fc2a59552c6961deb990f533b8 a
/usr/lib/debug/.build-id/20/654337c16481fc2a59552c6961deb990f533b8.debug a
/usr/lib/debug/.dwz a
/usr/lib/debug/.dwz/z3-4.8.10-3.el9.i386 a
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/z3-4.8.10-3.el9.i386.debug
LICENSE FILES
MIT
|
