Files fetched: 1 STORED: no-url://pinball_2007-02-02_sea1.1.jar 5881ea9c0e9d52c7d613c4ac171ddc8a pinball_2007-02-02_sea1.1.jar Size: 574967 bytes -- Virtually Yours: distfiles.