Index of /pub/os/linux/debian-archive/debian/pool/main/m/mps/

Filename	Modification time	Size
mps_1.1-2.diff.gz	2002-03-26 22:02 CET	2430 B
mps_1.1-2.dsc	2002-03-26 22:02 CET	603 B
mps_1.1-2_i386.deb	2002-03-26 22:02 CET	49 KiB
mps_1.1.orig.tar.gz	2001-07-22 15:22 CEST	74 KiB