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 fdb316efb9..65e6f8959f 100644 --- a/tools/mpfr/Makefile +++ b/tools/mpfr/Makefile @@ -7,12 +7,12 @@ include $(TOPDIR)/rules.mk PKG_NAME:=mpfr -PKG_VERSION:=4.0.2 +PKG_VERSION:=4.1.0 PKG_CPE_ID:=cpe:/a:mpfr:gnu_mpfr PKG_SOURCE_URL:=@GNU/mpfr http://www.mpfr.org/mpfr-$(PKG_VERSION) PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz -PKG_HASH:=1d3be708604eae0e42d578ba93b390c2a145f17743a744d8f3f8c2ad5855a38a +PKG_HASH:=0c98a3f1732ff6ca4ea690552079da9c597872d30e96ec28414ee23c95558a7f HOST_BUILD_PARALLEL:=1 HOST_FIXUP:=autoreconf |