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\.