[PPL-devel] [Fwd: GMP 4.0 released]