Index of /ubuntu/pool/universe/p/ptex2tex

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