From 68c0fb1c48a5eee4bb47c92d9f2b55a455f78b69 Mon Sep 17 00:00:00 2001
From: Hans-Christian Stadler Kleeb <hans-christian.stadler@psi.ch>
Date: Tue, 14 Mar 2017 15:42:26 +0100
Subject: [PATCH] gmp 6.1.2

---
 Libraries/gmp/6/variants | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Libraries/gmp/6/variants b/Libraries/gmp/6/variants
index c23f150..0f82ba5 100644
--- a/Libraries/gmp/6/variants
+++ b/Libraries/gmp/6/variants
@@ -1,3 +1,4 @@
 gmp/6.0.0	stable	
 gmp/6.1.0	stable	
 gmp/6.1.1	stable	
+gmp/6.1.2	stable