Files fetched: 1 STORED: http://ftp.gnu.org/gnu/gmp/gmp-4.2.3.tar.bz2 7cc56604c03134f2c4bc1fb1ea748f6f gmp-4.2.3.tar.bz2 Size: 1710314 bytes -- Virtually Yours: distfiles.