tools/gmp: update to version 5.0.1
[openwrt/svn-archive/archive.git] / tools / gmp / patches /
drwxr-xr-x   ..
-rw-r--r-- 576 000-OE-amd64.patch
-rw-r--r-- 6675 000-OE-configure.patch