Index of /debian-archive/debian/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               50152
mps_1.1.orig.tar.gz                                22-Jul-2001 13:22               75622