Filename: ///usr/share//////doc/libgmp10///////

./Ninja\.