download.pl: remove ftp.geo.kernel.org mirror, it does not resolve
[openwrt/staging/dedeckeh.git] / tools / gmp /
drwxr-xr-x   ..
-rw-r--r-- 516 Makefile
drwxr-xr-x - patches