Index of /pool/universe/m/mantis

 NameLast modifiedSize

 Parent Directory   -
 mantis_1.2.10-1.debian.tar.gz 2012-04-12 23:33 53K
 mantis_1.2.10-1.dsc 2012-04-12 23:33 1.8K
 mantis_1.2.10-1_all.deb 2012-04-13 02:04 2.1M
 mantis_1.2.10.orig.tar.gz 2012-04-12 23:33 3.2M