mpz_foo() functions are really called __gmpz_foo() in GMP
[ghc-hetmet.git] / libraries / mk /
drwxr-xr-x   ..
-rw-r--r-- 699 boilerplate.mk
-rw-r--r-- 553 target.mk