mirror of
https://git.openwrt.org/openwrt/openwrt.git
synced 2025-04-29 11:27:41 +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>