use the @GNU mirror facility from scripts/download.pl
[openwrt-10.03/.git] / package / gmp /
drwxr-xr-x   ..
-rw-r--r-- 323 Config.in
-rw-r--r-- 2042 Makefile
drwxr-xr-x - ipkg