Check for whether we have gmp.h, as well as whether we have the gmp library
[packages/integer-gmp.git] / GHC / Integer /
drwxr-xr-x   ..
-rw-r--r-- 19965 GMP.lhs
drwxr-xr-x - GMP