../ mantis_1.2.18-1.debian.tar.gz 06-Jan-2015 20:43 63713 mantis_1.2.18-1.dsc 06-Jan-2015 20:43 1851 mantis_1.2.18-1_all.deb 06-Jan-2015 20:43 2250692 mantis_1.2.18.orig.tar.gz 29-Dec-2014 21:05 3959859