Index of /debian/pool/non-free/p/ptex-jtex

      Name                        Last modified      Size  
      Parent Directory                                 -   
      ptex-jtex_1.7+1-15.diff.gz  2014-05-30 08:55  8.3K  
      ptex-jtex_1.7+1-15.dsc      2014-05-30 08:55  1.0K  
      ptex-jtex_1.7+1-15_all.deb  2014-05-30 08:55  301K  
      ptex-jtex_1.7+1.orig.tar.gz 2001-06-07 02:58  3.6M