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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
mps_1.1-2.diff.gz	2.4 KiB	2002-Mar-26 23:02
mps_1.1-2.dsc	603 B	2002-Mar-26 23:02
mps_1.1-2_i386.deb	49.0 KiB	2002-Mar-26 23:02
mps_1.1.orig.tar.gz	73.8 KiB	2001-Jul-22 15:22