../ maude_2.7-2+b2_amd64.deb 06-May-2018 02:03 802K maude_2.7-2+b2_arm64.deb 06-May-2018 02:03 754K maude_2.7-2.debian.tar.xz 12-Sep-2016 23:21 6736 maude_2.7-2.dsc 12-Sep-2016 23:21 2007 maude_2.7.orig.tar.gz 12-Sep-2016 23:21 2M maude_3.1-2.debian.tar.xz 21-Dec-2020 02:47 6792 maude_3.1-2.dsc 21-Dec-2020 02:46 2022 maude_3.1-2_amd64.deb 21-Dec-2020 02:55 1004K maude_3.1-2_arm64.deb 21-Dec-2020 02:55 893K maude_3.1.orig.tar.gz 21-Dec-2020 02:47 2M