summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/gmp/Makefile4
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