1. 2011-07-22 [4] gmp_printf bug? gmp-devel Vincent Lefevre 2. 2011-07-18 [1] GMP bug gmp-devel Richard Guenther