../ maude_2.7-2build2.debian.tar.xz 18-Dec-2023 16:19 6840 maude_2.7-2build2.dsc 18-Dec-2023 16:19 2070 maude_2.7-2build2_amd64.deb 21-Nov-2024 20:59 831588 maude_2.7.orig.tar.gz 18-Dec-2023 16:19 1663708 maude_3.1-2.debian.tar.xz 18-Dec-2023 16:21 6792 maude_3.1-2.dsc 18-Dec-2023 16:21 2022 maude_3.1-2_amd64.deb 21-Nov-2024 21:01 1026164 maude_3.1.orig.tar.gz 18-Dec-2023 16:21 2335693