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

name	size	date
mps_1.1-2.diff.gz	2.4K	2002-03-26 21:02:55
mps_1.1-2.dsc	0.6K	2002-03-26 21:02:55
mps_1.1-2_i386.deb	49.0K	2002-03-26 21:02:55
mps_1.1.orig.tar.gz	73.8K	2001-07-22 13:22:01