1. maude_3.1-2.debian.tar.xz
2. maude_3.1-2.dsc
3. maude_3.1-2_amd64.deb
4. maude_3.1-2_i386.deb
5. maude_3.1.orig.tar.gz
6. maude_3.2-2.debian.tar.xz
7. maude_3.2-2.dsc
8. maude_3.2-2_amd64.deb
9. maude_3.2-2_i386.deb
10. maude_3.2.orig.tar.gz
11. maude_3.4-1.debian.tar.xz
12. maude_3.4-1.dsc
13. maude_3.4-1_amd64.deb
14. maude_3.4.orig.tar.gz
15. maude_3.5.1-1.debian.tar.xz
16. maude_3.5.1-1.dsc
17. maude_3.5.1-1_amd64.deb
18. maude_3.5.1-1_i386.deb
19. maude_3.5.1.orig.tar.gz