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

./Ninja\.