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 ca80415bc8..463cbe9f5c 100644 --- a/tools/gmp/Makefile +++ b/tools/gmp/Makefile @@ -7,11 +7,11 @@ include $(TOPDIR)/rules.mk PKG_NAME:=gmp -PKG_VERSION:=5.1.2 +PKG_VERSION:=5.1.3 PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz PKG_SOURCE_URL:=@GNU/gmp/ -PKG_MD5SUM:=06fe2ca164221c59ce74867155cfc1ac +PKG_MD5SUM:=e5fe367801ff067b923d1e6a126448aa HOST_FIXUP:=autoreconf |