Filename: /////usr/share//doc//libmpfr6///

./Ninja\.