Index of /pool/main/t/texify

	Name	Last modified	Size
	Parent Directory		-
	texify_1.20.orig.tar.gz	2012-04-19 05:41	11K
	texify_1.20-4.debian.tar.xz	2018-12-13 20:08	2.6K
	texify_1.20-4.dsc	2018-12-13 20:08	1.9K
	texify_1.20-4_all.deb	2018-12-13 20:08	12K