Debian packages on transit

Package: libz3-4:amd64
Status: install ok installed
Priority: optional
Section: libs
Installed-Size: 22767
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> [Debian Bug Report]
Architecture: amd64
Multi-Arch: same
Source: z3
Version: 4.8.12-3.1
Replaces: libz3-dev (<< 4.4.1)
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.4), libstdc++6 (>= 12)
Breaks: libz3-dev (<< 4.4.1)
Description: theorem prover from Microsoft Research - runtime libraries
 Z3 is a state-of-the-art theorem prover from Microsoft Research. It can be
 used to check the satisfiability of logical formulas over one or more
 theories. Z3 offers a compelling match for software analysis and verification
 tools, since several common software constructs map directly into supported
 theories.
 
 This package contains runtime libraries. You shouldn't have to install it
 manually.
Homepage: https://github.com/Z3Prover/z3

Files owned by package libz3-4:amd64:

/usr
/usr/lib
/usr/lib/x86_64-linux-gnu
/usr/lib/x86_64-linux-gnu/libz3.so.4
/usr/share
/usr/share/doc
/usr/share/doc/libz3-4
/usr/share/doc/libz3-4/changelog.Debian.gz
/usr/share/doc/libz3-4/changelog.gz
/usr/share/doc/libz3-4/copyright