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 6f0ab6e29e..16624a7a6a 100644 --- a/tools/mpfr/Makefile +++ b/tools/mpfr/Makefile @@ -1,5 +1,5 @@ # -# Copyright (C) 2009-2013 OpenWrt.org +# Copyright (C) 2009-2015 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.2 +PKG_VERSION:=3.1.3 PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-$(PKG_VERSION) \ @GNU/mpfr PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.bz2 -PKG_MD5SUM:=ee2c3ac63bf0c2359bf08fc3ee094c19 +PKG_MD5SUM:=5fdfa3cfa5c86514ee4a241a1affa138 HOST_BUILD_PARALLEL:=1 HOST_FIXUP:=autoreconf |