fix GMP base URL
treebccfb7962ce5af5bafa3503758755fae6b31dc13
-rw-r--r-- 4883 README.md
-rwxr-xr-x 4613 build.sh
-rwxr-xr-x 94 clean.sh
-rw-r--r-- 403 config-static.sh
-rw-r--r-- 732 config.sh
-rw-r--r-- 8295 defs.sh
drwxr-xr-x - extra
drwxr-xr-x - patches
drwxr-xr-x - tarballs