../ maude_2.7-2build2.debian.tar.xz 22-Mar-2020 17:10 6840 maude_2.7-2build2.dsc 22-Mar-2020 17:10 2070 maude_2.7-2build2_amd64.deb 22-Mar-2020 18:10 831588 maude_2.7.orig.tar.gz 17-Dec-2015 11:14 1663708