aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tools/mpfr/Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile
index 3a2c339d99..47ff1c5539 100644
--- a/tools/mpfr/Makefile
+++ b/tools/mpfr/Makefile
@@ -7,12 +7,12 @@
include $(TOPDIR)/rules.mk
PKG_NAME:=mpfr
-PKG_VERSION:=3.1.4
+PKG_VERSION:=3.1.5
PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-$(PKG_VERSION) \
@GNU/mpfr
-PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2
-PKG_MD5SUM:=b8a2f6b0e68bef46e53da2ac439e1cf4
+PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz
+PKG_MD5SUM:=c4ac246cf9795a4491e7766002cd528f
HOST_BUILD_PARALLEL:=1
HOST_FIXUP:=autoreconf