../ teTeX-mp-lib.tar.gz 28-Jul-1996 22:54 530080 teTeX-mp-patch.gz 28-Jul-1996 22:50 13286 teTeX-mp-src.tar.gz 28-Jul-1996 22:52 398131