Libraries/gmp: versions 6.0.0, 6.1.0, 6.1.1, 6.1.2 added

2019-01-17 12:25:43 +01:00
parent 5b5dfb5456
commit f7b06202a9
1 changed files with 5 additions and 0 deletions
--- 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