diff options
Diffstat (limited to 'tools/mpfr/Makefile')
| -rw-r--r-- | tools/mpfr/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile index e98671983..ed5154f47 100644 --- a/tools/mpfr/Makefile +++ b/tools/mpfr/Makefile @@ -7,11 +7,11 @@ include $(TOPDIR)/rules.mk PKG_NAME:=mpfr -PKG_VERSION:=2.4.1 +PKG_VERSION:=2.4.2 PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-$(PKG_VERSION) PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2 -PKG_MD5SUM:=c5ee0a8ce82ad55fe29ac57edd35d09e +PKG_MD5SUM:=89e59fe665e2b3ad44a6789f40b059a0 include $(INCLUDE_DIR)/host-build.mk |