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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]mps_1.1-2.diff.gz2002-03-26 21:02 2.4K
[TXT]mps_1.1-2.dsc2002-03-26 21:02 603
[   ]mps_1.1-2_i386.deb2002-03-26 21:02 49K
[   ]mps_1.1.orig.tar.gz2001-07-22 13:22 74K

Apache Server at archive.debian.org Port 80