../ maude_3.1-2_amd64.deb 01-Jun-2021 09:50 1028508 maude_3.1-2_arm64.deb 01-Jun-2021 10:17 914520 maude_3.1-2_armel.deb 01-Jun-2021 11:29 817880 maude_3.1-2_armhf.deb 01-Jun-2021 12:24 858352 maude_3.1-2_i386.deb 01-Jun-2021 13:02 1107520