Files fetched: 1 STORED: no-url://ShellBinPkg-r13902.tar.bz2 00cdc30ad2e6267849be0a2b0c9901b2 ShellBinPkg-r13902.tar.bz2 Size: 860556 bytes -- Virtually Yours: distfiles.