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

 Name                        Last modified      Size  Description
 Parent Directory                                 -   
 ptex-jtex_1.7+1.orig.tar.gz 07-Jun-2001 03:58  3.6M  
 ptex-jtex_1.7+1-15_all.deb  30-May-2014 08:55  301K  
 ptex-jtex_1.7+1-15.dsc      30-May-2014 08:55  1.0K  
 ptex-jtex_1.7+1-15.diff.gz  30-May-2014 08:55  8.3K  
 ptex-jtex_1.7+1-13_all.deb  25-Apr-2012 09:33  532K  
 ptex-jtex_1.7+1-13.dsc      25-Apr-2012 09:33  1.0K  
 ptex-jtex_1.7+1-13.diff.gz  25-Apr-2012 09:33  8.0K