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

./Ninja\.