Files fetched: 1 STORED: ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/gap4r4p12.tar.bz2 2808c00e85e98843bb0e1a62c33ad5f0 gap4r4p12.tar.bz2 Size: 47715810 bytes -- Virtually Yours: distfiles.