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

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