aboutsummaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/mpfr/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile
index 84dc9ec29f..58a15eb273 100644
--- a/tools/mpfr/Makefile
+++ b/tools/mpfr/Makefile
@@ -9,7 +9,7 @@ include $(TOPDIR)/rules.mk
PKG_NAME:=mpfr
PKG_VERSION:=2.3.2
-PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-current/
+PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-2.3.2
PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2
PKG_MD5SUM:=527147c097874340cb9cee0579dacf3b