../ maude_3.2-2.dsc 12-Jul-2022 23:59 2018 maude_3.2-2_amd64.deb 13-Jul-2022 00:44 1M maude_3.2-2_arm64.deb 13-Jul-2022 00:59 928K maude_3.2-2_armhf.deb 13-Jul-2022 00:44 870K maude_3.2-2_i386.deb 13-Jul-2022 00:29 1M maude_3.4-1+b1_arm64.deb 02-Nov-2024 05:50 1M maude_3.4-1.debian.tar.xz 07-Apr-2024 20:31 6544 maude_3.4-1_amd64.deb 07-Apr-2024 21:02 1M maude_3.4.orig.tar.gz 07-Apr-2024 20:31 3M