../ arts-dbg_1.5.9-99intevation1_amd64.deb 30-Jan-2015 17:56 3158770 arts_1.5.9-99intevation1_all.deb 30-Jan-2015 17:56 6410 libarts1-dev_1.5.9-99intevation1_amd64.deb 30-Jan-2015 17:56 804322 libarts1c2a_1.5.9-99intevation1_amd64.deb 30-Jan-2015 17:56 790908 libartsc0-dev_1.5.9-99intevation1_amd64.deb 30-Jan-2015 17:56 20300 libartsc0_1.5.9-99intevation1_amd64.deb 30-Jan-2015 17:56 15934