Name Last modified Size Parent Directory - ptex-base_2.5-2.diff.gz 2007-12-09 20:03 6.5K ptex-base_2.5-2.dsc 2007-12-09 20:03 589 ptex-base_2.5.orig.tar.gz 2007-12-05 01:03 387K