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

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