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