../ hal-info-20070618.tar.gz 27-Jul-2007 01:51 118985 hal-info-20090414.tar.gz 14-Apr-2009 16:21 137451 hal-info-20091130.tar.bz2 30-Nov-2009 22:45 108915 hal-info-20091130.tar.gz 30-Nov-2009 22:44 144859