![[ICO]](/icons/blank.png){kind=icon}
![[DIR]](/icons/arrow_up.png){kind=icon}
![[ ]](/icons/page_white_compressed.png){kind=icon}
![[ ]](/icons/page.png){kind=icon}
![[ ]](/icons/debian.png){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| ptex-jtex_1.7+1-14.diff.gz | 06-Jun-2013 07:33 | 8.1K |
| ptex-jtex_1.7+1-14.dsc | 06-Jun-2013 07:33 | 1.0K |
| ptex-jtex_1.7+1-14_all.deb | 06-Jun-2013 08:34 | 591K |
| ptex-jtex_1.7+1-15.diff.gz | 30-May-2014 13:10 | 8.3K |
| ptex-jtex_1.7+1-15.dsc | 30-May-2014 13:10 | 1.0K |
| ptex-jtex_1.7+1-15_all.deb | 30-May-2014 13:38 | 300K |
| ptex-jtex_1.7+1.orig.tar.gz | 07-Oct-2004 15:51 | 3.6M |