Index of /pub/linux/debian-archive/debian/pool/main/p/ptex2tex/

Filename	Modification time	Size
ptex2tex_0.4-1.debian.tar.gz	2011-11-01 23:47 CET	9557 B
ptex2tex_0.4-1.dsc	2011-11-01 23:47 CET	1338 B
ptex2tex_0.4-1_all.deb	2011-11-01 23:47 CET	29 KiB
ptex2tex_0.4.orig.tar.gz	2011-11-01 23:47 CET	198 KiB