../ maude_2.7-2build2_amd64.deb 22-Mar-2020 13:10 812K maude_2.7-2build2_arm64.deb 22-Mar-2020 16:09 721K maude_3.1-2_amd64.deb 15-Dec-2020 18:49 1002K maude_3.1-2_arm64.deb 15-Dec-2020 18:49 890K maude_3.2-2build1_amd64.deb 08-Apr-2024 11:11 1M maude_3.2-2build1_arm64.deb 08-Apr-2024 14:24 1005K maude_3.5.1-1_amd64.deb 28-Oct-2025 01:03 1M maude_3.5.1-1_arm64.deb 28-Oct-2025 01:26 1M