../ mantis_1.2.11-1.2.debian.tar.gz 24-Nov-2012 16:58 61185 mantis_1.2.11-1.2.dsc 24-Nov-2012 16:58 1238 mantis_1.2.11-1.2_all.deb 24-Nov-2012 16:58 2209794 mantis_1.2.11.orig.tar.gz 15-Jun-2012 16:18 3439675 mantis_1.2.18-1+deb7u1.debian.tar.gz 12-Jun-2016 10:55 66144 mantis_1.2.18-1+deb7u1.dsc 12-Jun-2016 10:55 1881 mantis_1.2.18-1+deb7u1_all.deb 12-Jun-2016 10:55 2251854 mantis_1.2.18.orig.tar.gz 29-Dec-2014 21:05 3959859