Files fetched: 1 STORED: no-url://hal-info-20070521.tar.gz db0afd4050dc0205ca88cef03722dfd0 hal-info-20070521.tar.gz Size: 26833 bytes -- Virtually Yours: distfiles.