it's not an alpha: in all their wisdom, the GMP folks decided to name the first bugfix of GMP 6.0.0, GMP 6.0.0a.