1. 2013-02-12 [1] GMP 5.1.1 released gmp-announce Torbjorn Granlund 2. 2013-02-07 [1] GMP 5.1.0 finally available at ftp.gnu.org gmp-announce Niels =?iso-8859-1?Q?