Files fetched: 1 STORED: http://ftp.gnu.org/gnu/gmp/gmp-5.1.2.tar.xz 06fe2ca164221c59ce74867155cfc1ac gmp-5.1.2.tar.xz Size: 1819560 bytes -- Virtually Yours: distfiles.