diff options
Diffstat (limited to 'tools/mpfr/Makefile')
| -rw-r--r-- | tools/mpfr/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile index 16624a7a6a..3a2c339d99 100644 --- a/tools/mpfr/Makefile +++ b/tools/mpfr/Makefile @@ -1,5 +1,5 @@ # -# Copyright (C) 2009-2015 OpenWrt.org +# Copyright (C) 2009-2016 OpenWrt.org # # This is free software, licensed under the GNU General Public License v2. # See /LICENSE for more information. @@ -7,12 +7,12 @@ include $(TOPDIR)/rules.mk PKG_NAME:=mpfr -PKG_VERSION:=3.1.3 +PKG_VERSION:=3.1.4 PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-$(PKG_VERSION) \ @GNU/mpfr PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2 -PKG_MD5SUM:=5fdfa3cfa5c86514ee4a241a1affa138 +PKG_MD5SUM:=b8a2f6b0e68bef46e53da2ac439e1cf4 HOST_BUILD_PARALLEL:=1 HOST_FIXUP:=autoreconf |