gmp/6.0.0
mpfr/3.1.3
mpc/1.0.3