../ maude_2.6-6.debian.tar.xz 02-Oct-2014 03:23 6732 maude_2.6-6.dsc 02-Oct-2014 03:23 2038 maude_2.6-6_amd64.deb 02-Oct-2014 03:23 748724 maude_2.6.orig.tar.gz 09-Apr-2011 10:47 1600026 maude_2.7-2+b1_amd64.deb 16-Mar-2017 02:10 815246 maude_2.7-2+b2_amd64.deb 05-May-2018 08:12 821376 maude_2.7-2.debian.tar.xz 05-Apr-2016 05:56 6736 maude_2.7-2.dsc 05-Apr-2016 05:56 2007 maude_2.7.orig.tar.gz 16-Dec-2015 19:06 1663708