Index of /mie/pool/universe/m/mantis

	Name	Last modified	Size
	Parent Directory		-
	mantis_1.0.8-4.diff.gz	2008-01-04 11:03	34K
	mantis_1.0.8-4.dsc	2008-01-04 11:03	773
	mantis_1.0.8-4_all.deb	2008-01-04 12:05	1.2M
	mantis_1.0.8.orig.tar.gz	2007-10-23 22:04	1.5M