mirror of
https://git.openwrt.org/openwrt/openwrt.git
synced 2026-01-27 23:51:02 +01: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>