../ maude_2.7-2+b1_i386.deb 26-Apr-2023 15:47 853K maude_2.7-2.debian.tar.xz 26-Apr-2023 15:47 6736 maude_2.7-2.dsc 26-Apr-2023 15:47 2007 maude_2.7.orig.tar.gz 26-Apr-2023 15:47 2M