Index of /debian-archive/debian/pool/main/m/mps
Name
Last modified
Size
Description
Parent Directory
-
mps_1.1.orig.tar.gz
2001-07-22 13:22
74K
mps_1.1-2_i386.deb
2002-03-26 21:02
49K
mps_1.1-2.dsc
2002-03-26 21:02
603
mps_1.1-2.diff.gz
2002-03-26 21:02
2.4K