variant-files adapted to new format

2016-07-29 16:54:10 +02:00
parent bd4586fe01
commit 9461af59e7
11 changed files with 71 additions and 69 deletions
@@ -1,3 +1,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