diff options
Diffstat (limited to 'tools/gmp')
-rw-r--r-- | tools/gmp/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gmp/Makefile b/tools/gmp/Makefile index 38cede1e91..0a08162874 100644 --- a/tools/gmp/Makefile +++ b/tools/gmp/Makefile @@ -11,7 +11,7 @@ PKG_VERSION:=6.1.1 PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz PKG_SOURCE_URL:=@GNU/gmp/ -PKG_MD5SUM:=e70e183609244a332d80529e7e155a35 +PKG_HASH:=d36e9c05df488ad630fff17edb50051d6432357f9ce04e34a09b3d818825e831 HOST_FIXUP:=autoreconf |