Index of /software/Linux/debian-archive/debian/pool/main/m/mps

	Name	Last modified	Size	Description
	Parent Directory		-
	mps_1.1-2.diff.gz	2002-03-26 21:02	2.4K
	mps_1.1-2.dsc	2002-03-26 21:02	603
	mps_1.1-2_i386.deb	2002-03-26 21:02	49K
	mps_1.1.orig.tar.gz	2001-07-22 14:22	74K