/GNUmakefile
/autom4te.cache/
/config.log
/config.status
/configure
/dist-install/
/ghc.mk
/gmp/config.mk
/include/HsIntegerGmp.h
/integer-gmp.buildinfo

/gmp/gmp.h
/gmp/gmpbuild
/include/ghc-gmp.h
