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