changes merged

This commit is contained in:
2018-07-02 13:19:17 +02:00
44 changed files with 442 additions and 55 deletions

View File

@@ -3,4 +3,4 @@ mpc/1.0.3 stable b:gmp/6.1.0 b:mpfr/3.1.4
mpc/1.0.3-1 stable b:gmp/6.1.1 b:mpfr/3.1.4
mpc/1.0.3-2 stable b:gmp/6.1.2 b:mpfr/3.1.5
mpc/1.1.0 stable b:gmp/6.1.2 b:mpfr/4.0.0
mpc/1.1.0-1 unstable b:gmp/6.1.2 b:mpfr/4.0.1
mpc/1.1.0-1 stable b:gmp/6.1.2 b:mpfr/4.0.1