../ maude_2.6-6.debian.tar.xz 02-Oct-2014 14:23 6732 maude_2.6-6.dsc 02-Oct-2014 14:23 2038 maude_2.6-6_amd64.deb 02-Oct-2014 14:23 731K maude_2.6-6_i386.deb 02-Oct-2014 14:58 755K maude_2.6.orig.tar.gz 09-Apr-2011 21:47 2M