../ maude_3.2-2.debian.tar.xz 20-Apr-2023 16:54 7276 maude_3.2-2.dsc 20-Apr-2023 16:54 2018 maude_3.2-2_amd64.deb 20-Apr-2023 16:54 1064336 maude_3.2-2_i386.deb 20-Apr-2023 16:54 1147740 maude_3.2.orig.tar.gz 20-Apr-2023 16:54 2405779 maude_3.4-1.debian.tar.xz 06-Aug-2025 13:10 6544 maude_3.4-1.dsc 06-Aug-2025 13:10 1387 maude_3.4-1_amd64.deb 06-Aug-2025 13:10 1186676 maude_3.4.orig.tar.gz 06-Aug-2025 13:10 2660916