Name	Size	Modified
	../	—	—
	ptex2tex_0.4-1_all.deb	27.9 KB	Nov 12, 2011
	ptex2tex_0.4-1.debian.tar.gz	9.3 KB	Nov 12, 2011
	ptex2tex_0.4-1.dsc	1.3 KB	Nov 12, 2011
	ptex2tex_0.4.orig.tar.gz	198.4 KB	Nov 12, 2011