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

      Name                                          Last modified      Size  Description
      Parent Directory                                                   -   
      ptex2tex_0.4-1.debian.tar.gz                  2011-11-12 07:10  9.3K  
      ptex2tex_0.4-1.dsc                            2011-11-12 07:10  1.3K  
      ptex2tex_0.4-1_all.deb                        2011-11-12 07:14   28K  
      ptex2tex_0.4.orig.tar.gz                      2011-11-12 07:10  198K