Fix the $(GMP_DIR) path that we remove
[packages/integer-gmp.git] / gmp /
drwxr-xr-x   ..
-rw-r--r-- 203 config.mk.in
-rw-r--r-- 6176 ghc.mk
-rw-r--r-- 18 ln
drwxr-xr-x - tarball