../ maude_2.6-4_amd64.deb 24-Oct-2013 11:33 935406 maude_2.6-4_i386.deb 24-Oct-2013 11:33 898992 maude_2.7-1_amd64.deb 17-Dec-2015 11:44 773018 maude_2.7-1_i386.deb 17-Dec-2015 11:44 794314 maude_2.7-2_amd64.deb 27-Apr-2016 03:26 830462 maude_2.7-2_i386.deb 27-Apr-2016 03:41 794430 maude_2.7-2build2_amd64.deb 22-Mar-2020 18:10 831588