Index of /blankon/pool/main/p/ptex2tex/

File NameFile SizeDate
Parent directory/--
ptex2tex_0.4-1.debian.tar.gz 955701-Nov-2011 22:47
ptex2tex_0.4-1.dsc 133801-Nov-2011 22:47
ptex2tex_0.4-1_all.deb 29K20-Aug-2017 15:09
ptex2tex_0.4.orig.tar.gz 198K01-Nov-2011 22:47