From f842bfd48f206c41a09cc18e435ce547d1d6b33a Mon Sep 17 00:00:00 2001
From: Luka Perkov <luka@openwrt.org>
Date: Mon, 21 Oct 2013 09:53:19 +0000
Subject: [PATCH] [tools] gmp: update to 5.1.3

Signed-off-by: Luka Perkov <luka@openwrt.org>

git-svn-id: svn://svn.openwrt.org/openwrt/trunk@38487 3c298f89-4303-0410-b956-a3cf2f4a3e73
---
 tools/gmp/Makefile | 4 ++--
 1 file 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