../ maude_3.1-2.debian.tar.xz 27-Aug-2023 04:52 6792 maude_3.1-2.dsc 27-Aug-2023 04:52 2022 maude_3.1-2_amd64.deb 27-Aug-2023 04:52 1026164 maude_3.1.orig.tar.gz 27-Aug-2023 04:52 2335693 maude_3.2-2build1.debian.tar.xz 15-Apr-2024 19:02 7384 maude_3.2-2build1.dsc 15-Apr-2024 19:02 2125 maude_3.2-2build1_amd64.deb 15-Apr-2024 19:02 1076044 maude_3.2.orig.tar.gz 16-Dec-2023 01:20 2405779