../ maude_2.6-2.debian.tar.gz 03-Apr-2019 01:33 4979 maude_2.6-2.dsc 03-Apr-2019 01:33 1425 maude_2.6-2_amd64.deb 03-Apr-2019 01:23 937156 maude_2.6-2_i386.deb 03-Apr-2019 02:22 911660 maude_2.6-6.debian.tar.xz 03-Oct-2017 12:07 6732 maude_2.6-6.dsc 03-Oct-2017 12:07 2038 maude_2.6-6_amd64.deb 24-Aug-2017 09:27 748724 maude_2.6-6_i386.deb 24-Aug-2017 09:48 772674 maude_2.6.orig.tar.gz 03-Oct-2017 12:07 1600026