/gnu/lib/

• ../
• Makefile
• libgmp