Merge branch 'master' of gitlab.psi.ch:Pmodules/buildblocks

2017-04-24 08:31:17 +02:00
parent 98687e94de edb67f75c8
commit ce6c3abfd8
9 changed files with 48 additions and 3 deletions
@@ -1,3 +1,4 @@
 gmp/6.0.0	stable	
 gmp/6.1.0	stable	
 gmp/6.1.1	stable	
+gmp/6.1.2	stable
@@ -2,3 +2,4 @@ mpfr/3.1.2	stable		b:gmp/5.1.1
 mpfr/3.1.3	stable		b:gmp/6.0.0
 mpfr/3.1.4	stable		b:gmp/6.1.0
 mpfr/3.1.4-1	stable		b:gmp/6.1.1
+mpfr/3.1.5	stable		b:gmp/6.1.2