From f7b06202a99d0cbabe6dcf3999b151a08640703f Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Thu, 17 Jan 2019 12:25:43 +0100
Subject: [PATCH] Libraries/gmp: versions 6.0.0, 6.1.0, 6.1.1, 6.1.2 added

---
 Libraries/gmp/files/variants | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Libraries/gmp/files/variants b/Libraries/gmp/files/variants
index 02b5e29..bbc09b3 100644
--- a/Libraries/gmp/files/variants
+++ b/Libraries/gmp/files/variants
@@ -1 +1,6 @@
 gmp/5.1.1	stable	
+gmp/6.0.0	stable	
+gmp/6.1.0	stable	
+gmp/6.1.1	stable	
+gmp/6.1.2	stable
+gmp/6.1.2-1	stable