Files fetched: 1 STORED: http://download.virtualbox.org/virtualbox/3.0.12/UserManual.pdf ac742f57893b46bb9324ae008b716059 UserManual.pdf Size: 4217773 bytes -- Virtually Yours: distfiles.