Name Last modified Size Description Parent Directory - ptex-jtex_1.7+1-9.dsc 2002-12-27 04:17 576 ptex-jtex_1.7+1-9.diff.gz 2002-12-27 04:17 7.2K ptex-jtex_1.7+1-9_all.deb 2005-05-09 22:46 530K ptex-jtex_1.7+1.orig.tar.gz 2001-06-07 01:58 3.6M