1. 2005-10-12 Compiled version of GMP gmp-discu HP 2. 2005-10-12 Compiled version of GMP gmp-discu =?ISO-8859-1?Q?Alb 3. 2005-10-12 Compiled version of GMP gmp-discu Bruno Courcelle