forked from Openwrt/openwrt
tools/gmp was using the .tar.xz while package/libs/gmp was using the .tar.gz archive of the GMP release. Use the .tar.gz for both of them. Signed-off-by: Daniel Golle <daniel@makrotopia.org>
tools/gmp was using the .tar.xz while package/libs/gmp was using the .tar.gz archive of the GMP release. Use the .tar.gz for both of them. Signed-off-by: Daniel Golle <daniel@makrotopia.org>