../ maude_2.7-2+b2_amd64.deb 27-Mar-2020 22:14 802K maude_2.7-2+b2_arm64.deb 27-Mar-2020 22:14 754K maude_2.7-2+b2_i386.deb 27-Mar-2020 22:14 857K maude_2.7-2+b2_mips64el.deb 27-Mar-2020 22:14 760K maude_2.7-2.debian.tar.xz 27-Mar-2020 22:14 6736 maude_2.7-2.dsc 27-Mar-2020 22:14 2007 maude_2.7.orig.tar.gz 27-Mar-2020 22:14 2M