From c08819431af28e313d76904124d52e494e3466c6 Mon Sep 17 00:00:00 2001
From: Stephan Raue <stephan@openelec.tv>
Date: Wed, 29 May 2013 19:00:12 +0200
Subject: [PATCH] gmp: update to gmp-5.1.2

Signed-off-by: Stephan Raue <stephan@openelec.tv>
---
 packages/devel/gmp/meta | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/devel/gmp/meta b/packages/devel/gmp/meta
index 8765f9d7d2..880fe82414 100644
--- a/packages/devel/gmp/meta
+++ b/packages/devel/gmp/meta
@@ -19,7 +19,7 @@
 ################################################################################
 
 PKG_NAME="gmp"
-PKG_VERSION="5.1.1"
+PKG_VERSION="5.1.2"
 PKG_REV="1"
 PKG_ARCH="any"
 PKG_LICENSE="LGPL"