gmp: upgrade to version 5.1.2
[openwrt/openwrt.git] / toolchain / musl /
drwxr-xr-x   ..
-rw-r--r-- 562 Config.in
-rw-r--r-- 335 Config.version
-rw-r--r-- 741 Makefile
-rw-r--r-- 1818 common.mk
drwxr-xr-x - headers
drwxr-xr-x - patches-0.9.10
drwxr-xr-x - patches-0.9.8
drwxr-xr-x - patches-0.9.9