Name Size Parent Directory - maude_2.6-6.debian.tar.xz 6.6K maude_2.6-6.dsc 2.0K maude_2.6-6_armhf.deb 579K maude_2.6.orig.tar.gz 1.5M maude_2.7-2.debian.tar.xz 6.6K maude_2.7-2.dsc 2.0K maude_2.7-2_armhf.deb 592K maude_2.7.orig.tar.gz 1.6M