../ ref/ 25-Nov-2013 15:52 - vaucanson-0.7.2-1.noarch.rpm 14-Nov-2005 07:40 2283632 vaucanson-0.7.2.tar.bz2 12-Nov-2005 23:00 3467728 vaucanson-0.7.2.tar.gz 12-Nov-2005 23:00 5424172 vaucanson-doc_0.7.2-1_all.deb 14-Nov-2005 07:40 2000340 vaucanson_0.7.2-1_all.deb 14-Nov-2005 07:40 344510