maude_3.5.1-1.debian.tar.xz
maude_3.5.1-1.dsc
maude_3.5.1-1_amd64.deb
maude_3.5.1-1_i386.deb
maude_3.5.1.orig.tar.gz