diff options
Diffstat (limited to 'tools/mpfr')
| -rw-r--r-- | tools/mpfr/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfr/Makefile b/tools/mpfr/Makefile index 47ff1c5539..91b5986f6c 100644 --- a/tools/mpfr/Makefile +++ b/tools/mpfr/Makefile @@ -12,7 +12,7 @@ PKG_VERSION:=3.1.5 PKG_SOURCE_URL:=http://www.mpfr.org/mpfr-$(PKG_VERSION) \ @GNU/mpfr PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz -PKG_MD5SUM:=c4ac246cf9795a4491e7766002cd528f +PKG_HASH:=015fde82b3979fbe5f83501986d328331ba8ddf008c1ff3da3c238f49ca062bc HOST_BUILD_PARALLEL:=1 HOST_FIXUP:=autoreconf |