mirror of
https://git.openwrt.org/openwrt/openwrt.git
synced 2025-03-10 04:40:11 +00:00
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>