../ maude_2.7-1.debian.tar.xz 17-Dec-2015 11:14 6428 maude_2.7-1.dsc 17-Dec-2015 11:14 2038 maude_2.7-1_amd64.deb 17-Dec-2015 11:44 773018 maude_2.7.orig.tar.gz 17-Dec-2015 11:14 1663708