gmp: upgrade to version 5.1.2
[openwrt/openwrt.git] / toolchain / gcc / patches /
drwxr-xr-x   ..
drwxr-xr-x - 4.4.7
drwxr-xr-x - 4.6-linaro
drwxr-xr-x - 4.6.3
drwxr-xr-x - 4.8-linaro
drwxr-xr-x - 4.8.0