Filename: //var//lib/dpkg/info//libgmp10:amd64.list

/.
/usr
/usr/lib
/usr/lib/x86_64-linux-gnu
/usr/lib/x86_64-linux-gnu/libgmp.so.10.4.1
/usr/share
/usr/share/doc
/usr/share/doc/libgmp10
/usr/share/doc/libgmp10/README.Debian
/usr/share/doc/libgmp10/changelog.Debian.gz
/usr/share/doc/libgmp10/changelog.gz
/usr/share/doc/libgmp10/copyright
/usr/lib/x86_64-linux-gnu/libgmp.so.10

./Ninja\.