Index of /pool/universe/p/ptex2tex

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[ ]ptex2tex_0.4-1.debian.tar.gz12-Nov-2011 07:10 9.3K
[ ]ptex2tex_0.4-1.dsc12-Nov-2011 07:10 1.3K
[ ]ptex2tex_0.4-1_all.deb12-Nov-2011 07:14 28K
[ ]ptex2tex_0.4.orig.tar.gz12-Nov-2011 07:10 198K
Apache/2.2.12 (Ubuntu) Server at ubuntu.secs.oakland.edu Port 80