Filename: ///proc/thread-self//root////var/lib/dpkg///info/libz3-4:amd64.shlibs

libz3 4 libz3-4 (>= 4.8.10)

./Ninja\.