INFO
Name: ocaml-z3-debuginfo
Version: 4.8.10-3.el9
Arch: s390x
Summary: Debug information for package ocaml-z3
License: MIT
Vendor: Rocky Enterprise Software Foundation
Build Host: pb-5f6d2316-e5b9-4feb-a70d-cc54dfb6337f-b-s390x
Build Date: Mon Dec 12 23:28:17 2022
Size: 2096619
URL: https://github.com/Z3Prover/z3
Description: This package provides debug information for package ocaml-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/6a
/usr/lib/debug/.build-id/6a/892583338f4f8a746be72e11921e357849aa0b
/usr/lib/debug/.build-id/6a/892583338f4f8a746be72e11921e357849aa0b.debug
/usr/lib/debug/.build-id/8f
/usr/lib/debug/.build-id/8f/24a4f232bc1cdc857025bad14b3f2092a4c6c8
/usr/lib/debug/.build-id/8f/24a4f232bc1cdc857025bad14b3f2092a4c6c8.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/Z3
/usr/lib/debug/usr/lib64/ocaml/Z3/z3ml.cmxs-4.8.10-3.el9.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllz3ml.so-4.8.10-3.el9.s390x.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(s390-64) 4.8.10-3.el9
PROVIDES
debuginfo(build-id) 6a892583338f4f8a746be72e11921e357849aa0b
debuginfo(build-id) 8f24a4f232bc1cdc857025bad14b3f2092a4c6c8
ocaml-z3-debuginfo 4.8.10-3.el9
ocaml-z3-debuginfo(s390-64) 4.8.10-3.el9
CONFIG FILES
/usr/lib/debug
/usr/lib/debug/.build-id a
/usr/lib/debug/.build-id/6a a
/usr/lib/debug/.build-id/6a/892583338f4f8a746be72e11921e357849aa0b a
/usr/lib/debug/.build-id/6a/892583338f4f8a746be72e11921e357849aa0b.debug a
/usr/lib/debug/.build-id/8f a
/usr/lib/debug/.build-id/8f/24a4f232bc1cdc857025bad14b3f2092a4c6c8 a
/usr/lib/debug/.build-id/8f/24a4f232bc1cdc857025bad14b3f2092a4c6c8.debug a
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/Z3
/usr/lib/debug/usr/lib64/ocaml/Z3/z3ml.cmxs-4.8.10-3.el9.s390x.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllz3ml.so-4.8.10-3.el9.s390x.debug
LICENSE FILES
MIT
|
