diff options
Diffstat (limited to 'tools')
| -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 2afb025980..dfff7964ce 100644 --- a/tools/mpfr/Makefile +++ b/tools/mpfr/Makefile @@ -7,13 +7,13 @@ include $(TOPDIR)/rules.mk PKG_NAME:=mpfr -PKG_VERSION:=4.0.0 +PKG_VERSION:=4.0.1 PKG_CPE_ID:=cpe:/a:mpfr:gnu_mpfr PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-$(PKG_VERSION) \ @GNU/mpfr PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz -PKG_HASH:=fbe2cd1418b321f5c899ce4f0f0f4e73f5ecc7d02145b0e1fd096f5c3afb8a1d +PKG_HASH:=67874a60826303ee2fb6affc6dc0ddd3e749e9bfcb4c8655e3953d0458a6e16e HOST_BUILD_PARALLEL:=1 HOST_FIXUP:=autoreconf |