../ maude_3.2-2_amd64.deb 12-Jul-2022 15:14 1064336 maude_3.2-2_arm64.deb 12-Jul-2022 15:29 950228 maude_3.2-2_armhf.deb 12-Jul-2022 15:14 890636 maude_3.4-1+b1_arm64.deb 02-Nov-2024 10:44 1070600 maude_3.4-1_amd64.deb 07-Apr-2024 11:32 1186676 maude_3.5.1-1+b1_arm64.deb 21-Jan-2026 04:45 1096880 maude_3.5.1-1_amd64.deb 25-Oct-2025 21:44 1249364 maude_3.5.1-1_armhf.deb 25-Oct-2025 21:44 1047564