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
mpfr/4.0.0      stable          b:gmp/6.1.2
mpfr/4.0.1      stable          b:gmp/6.1.2
mpfr/4.0.1-1	stable          b:gmp/6.1.2-1
mpfr/4.0.2      stable          b:gmp/6.1.2-1
