../ gmp-4.1.4.tar.bz2 21-Oct-2005 01:00 1681267 gmp-4.2.2.tar.bz2 28-Mar-2008 23:44 1747068 gmp-4.2.tar.bz2 29-Apr-2006 04:57 1726594