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