Files fetched: 1 STORED: ftp://ftp.gnu.org/gnu/gmp/gmp-4.2.tar.bz2 aa4a4534e8870ab8ba3c093239057cca gmp-4.2.tar.bz2 Size: 1726594 bytes -- Virtually Yours: distfiles.