../ texdoctk_0.5.1-4.diff.gz 03-Feb-2002 00:26 3883 texdoctk_0.5.1-4.dsc 03-Feb-2002 00:26 599 texdoctk_0.5.1-4_all.deb 03-Feb-2002 00:26 31964 texdoctk_0.5.1.orig.tar.gz 06-Dec-2001 22:02 26374