../ mantis_1.2.11-1.2.debian.tar.gz 24-Nov-2012 10:58 61185 mantis_1.2.11-1.2.dsc 24-Nov-2012 10:58 1238 mantis_1.2.11-1.2_all.deb 24-Nov-2012 10:58 2209794 mantis_1.2.11.orig.tar.gz 15-Jun-2012 10:18 3439675