gmp 6.1.2

2017-03-14 15:42:26 +01:00
parent cb26a6fe2c
commit 68c0fb1c48
1 changed files with 1 additions and 0 deletions
--- 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