maude_2.7-2build2_amd64.deb
maude_3.2-2build1_amd64.deb
maude_3.5.1-1_amd64.deb