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

 Name                        Last modified      Size  
 Parent Directory                                 -   
 ptex-jtex_1.7+1-9.diff.gz   27-Dec-2002 15:17  7.2K  
 ptex-jtex_1.7+1-9.dsc       27-Dec-2002 15:17  576   
 ptex-jtex_1.7+1-9_all.deb   27-Dec-2002 15:17  530K  
 ptex-jtex_1.7+1-11.diff.gz  18-Apr-2007 09:17  7.4K  
 ptex-jtex_1.7+1-11.dsc      18-Apr-2007 09:17  572   
 ptex-jtex_1.7+1-11_all.deb  18-Apr-2007 09:17  531K  
 ptex-jtex_1.7+1.orig.tar.gz 07-Jun-2001 10:58  3.6M