../ texdoctk_0.5.1-4.diff.gz 03-Feb-2002 07:26 3883 texdoctk_0.5.1-4.dsc 03-Feb-2002 07:26 599 texdoctk_0.5.1-4_all.deb 03-Feb-2002 07:26 31K texdoctk_0.5.1.orig.tar.gz 07-Dec-2001 05:02 26K