Make integer-gmp suitable to be used directly, rather than via integer
[packages/integer-gmp.git] / GHC /
drwxr-xr-x   ..
-rw-r--r-- 19957 Integer.lhs
drwxr-xr-x - Integer