newer GGCs built

2023-07-13 15:50:00 +02:00
parent dd978e84af
commit bfc455b25d
3 changed files with 10 additions and 0 deletions
@@ -8,3 +8,4 @@ mpc/1.1.0-2	stable		b:gmp/6.1.2-1 b:mpfr/4.0.1-1
 mpc/1.1.0-3	stable		b:gmp/6.1.2-1 b:mpfr/4.0.2
 mpc/1.1.0-4	stable		b:gmp/6.2.0 b:mpfr/4.0.2-1
 mpc/1.2.1	stable		b:gmp/6.2.1 b:mpfr/4.1.0
+mpc/1.3.1	stable		b:gmp/6.2.1 b:mpfr/4.2.0
@@ -9,3 +9,5 @@ mpfr/4.0.1-1	stable          b:gmp/6.1.2-1
 mpfr/4.0.2      stable          b:gmp/6.1.2-1
 mpfr/4.0.2-1    stable		b:gmp/6.2.0
 mpfr/4.0.2-2    stable		b:gmp/6.2.0
+mpfr/4.1.0	stable		b:gmp/6.2.1
+mpfr/4.2.0	stable		b:gmp/6.2.1