INFO
Name: java-z3-debuginfo
Version: 4.8.10-3.el9
Arch: ppc64le
Summary: Debug information for package java-z3
License: MIT
Vendor: Rocky Enterprise Software Foundation
Build Host: pb-937c603c-a0f3-43bb-b2ba-85774169d737-b-ppc64le
Build Date: Mon Dec 12 23:30:43 2022
Size: 825165
URL: https://github.com/Z3Prover/z3
Description: This package provides debug information for package java-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/57
/usr/lib/debug/.build-id/57/657a2ed4a7758af69c0aca256fd69a6f9bee80
/usr/lib/debug/.build-id/57/657a2ed4a7758af69c0aca256fd69a6f9bee80.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/z3
/usr/lib/debug/usr/lib64/z3/libz3java.so-4.8.10-3.el9.ppc64le.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
z3-debuginfo(ppc-64) 4.8.10-3.el9
PROVIDES
debuginfo(build-id) 57657a2ed4a7758af69c0aca256fd69a6f9bee80
java-z3-debuginfo 4.8.10-3.el9
java-z3-debuginfo(ppc-64) 4.8.10-3.el9
CONFIG FILES
/usr/lib/debug
/usr/lib/debug/.build-id a
/usr/lib/debug/.build-id/57 a
/usr/lib/debug/.build-id/57/657a2ed4a7758af69c0aca256fd69a6f9bee80 a
/usr/lib/debug/.build-id/57/657a2ed4a7758af69c0aca256fd69a6f9bee80.debug a
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/z3
/usr/lib/debug/usr/lib64/z3/libz3java.so-4.8.10-3.el9.ppc64le.debug
LICENSE FILES
MIT
|
