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