Index of /pub/gnewsense/gnewsense-three/gnewsense/pool/main/p/ptex2tex

      Name                                                  Last modified      Size  Description
      Parent Directory                                                           -   
      ptex2tex_0.4-1.debian.tar.gz                          2011-11-01 22:47  9.3K  
      ptex2tex_0.4-1.dsc                                    2011-11-01 22:47  1.3K  
      ptex2tex_0.4-1_all.deb                                2011-11-01 22:47   29K  
      ptex2tex_0.4.orig.tar.gz                              2011-11-01 22:47  198K