Index of /debian/pool/main/p/ptex2tex

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] ptex2tex_0.4.orig.ta..> 2011-11-02 02:47  198K  
[   ] ptex2tex_0.4-1_all.deb  2011-11-02 02:47   29K  
[TXT] ptex2tex_0.4-1.dsc      2011-11-02 02:47  1.3K  
[   ] ptex2tex_0.4-1.debia..> 2011-11-02 02:47  9.3K