/gnu/lib/libgmp/
../
Makefile
Makefile.inc
doc