../ maude_2.6-6.debian.tar.xz 27-Sep-2017 14:47 6732 maude_2.6-6.dsc 27-Sep-2017 14:47 2038 maude_2.6-6_amd64.deb 27-Sep-2017 12:39 731K maude_2.6-6_i386.deb 27-Sep-2017 15:15 755K maude_2.6.orig.tar.gz 27-Sep-2017 14:47 2M