Index of /debian/pool/main/t/texdoctk

	Name	Last modified	Size
	Parent Directory		-
	texdoctk_0.5.1-4.dsc	2002-02-02 22:26	599
	texdoctk_0.5.1-4.diff.gz	2002-02-02 22:26	3.8K
	texdoctk_0.5.1.orig.tar.gz	2001-12-06 20:02	26K
	texdoctk_0.5.1-4_all.deb	2002-02-02 22:26	31K