Upgrade gmp, 4.2.4 -> 5.0.2
[packages/integer-gmp.git] / gmp / tarball /
drwxr-xr-x   ..
-rw-r--r-- 94 README
-rw-r--r-- 1724120 gmp-5.0.2-nodoc-patched.tar.bz2
-rw-r--r-- 3954 patch