../ mantis_1.2.11-1.2.debian.tar.gz 25-Nov-2012 00:58 60K mantis_1.2.11-1.2.dsc 25-Nov-2012 00:58 1238 mantis_1.2.11-1.2_all.deb 25-Nov-2012 00:58 2M mantis_1.2.11.orig.tar.gz 16-Jun-2012 00:18 3M