Update integer_gmp_gcdext documentation.
[ghc.git] / libraries / integer-gmp / gmp /
drwxr-xr-x   ..
-rw-r--r-- 17 ghc-gmp.h
-rw-r--r-- 5060 ghc.mk
m--------- - gmp-tarballs
-rw-r--r-- 4260 gmpsrc.patch
-rwxr-xr-x 18 ln