../ maude_3.2-2.debian.tar.xz 31-Jul-2024 12:32 7276 maude_3.2-2.dsc 31-Jul-2024 12:32 2018 maude_3.2-2_amd64.deb 31-Jul-2024 11:53 1064336 maude_3.2-2_arm64.deb 31-Jul-2024 12:31 950228 maude_3.2-2_i386.deb 31-Jul-2024 12:08 1147740 maude_3.2.orig.tar.gz 31-Jul-2024 12:32 2405779