diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gmp/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/gmp/Makefile b/tools/gmp/Makefile index 5028ae0627..ca80415bc8 100644 --- a/tools/gmp/Makefile +++ b/tools/gmp/Makefile @@ -7,11 +7,11 @@ include $(TOPDIR)/rules.mk PKG_NAME:=gmp -PKG_VERSION:=5.1.1 +PKG_VERSION:=5.1.2 PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz PKG_SOURCE_URL:=@GNU/gmp/ -PKG_MD5SUM:=485b1296e6287fa381e6015b19767989 +PKG_MD5SUM:=06fe2ca164221c59ce74867155cfc1ac HOST_FIXUP:=autoreconf |