../ maude_2.6-1.debian.tar.gz 04-May-2011 14:07 40261 maude_2.6-1.dsc 04-May-2011 14:07 1366 maude_2.6-1_amd64.deb 06-May-2011 10:05 931212 maude_2.6-1_i386.deb 06-May-2011 10:05 908250 maude_2.6-2.debian.tar.gz 18-Nov-2011 14:04 4979 maude_2.6-2.dsc 18-Nov-2011 14:04 1425 maude_2.6-2_amd64.deb 18-Nov-2011 15:04 934608 maude_2.6-2_i386.deb 18-Nov-2011 14:07 908174 maude_2.6.orig.tar.gz 04-May-2011 14:07 1600026