Files fetched: 1 STORED: http://hal.freedesktop.org/releases/hal-0.5.12.tar.gz bb7c36e142437f7363f9a80ae8391926 hal-0.5.12.tar.gz Size: 1197445 bytes -- Virtually Yours: distfiles.