package/refresh should clean all packages before refreshing their patches
[15.05/openwrt.git] / package / gmp /
drwxr-xr-x   ..
-rw-r--r-- 1294 Makefile