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

../
mps_1.1-2.diff.gz                                  27-Mar-2002 06:02    2430
mps_1.1-2.dsc                                      27-Mar-2002 06:02     603
mps_1.1-2_i386.deb                                 27-Mar-2002 06:02     49K
mps_1.1.orig.tar.gz                                22-Jul-2001 22:22     74K