Filename: /var///lib/dpkg/info///libz3-4:amd64.md5sums

0936a513d7f29b8df6952d84ae5573f3  usr/lib/x86_64-linux-gnu/libz3.so.4
44cee40392002dba235542691f5a0dbf  usr/share/doc/libz3-4/changelog.Debian.gz
d700bfcb37c998cc9671c6e3e32f9a1f  usr/share/doc/libz3-4/changelog.gz
f967e789d58be4415f0ec8b561624170  usr/share/doc/libz3-4/copyright

./Ninja\.