../ ptex-base_2.5-2.1.diff.gz 05-Aug-2012 13:32 5745 ptex-base_2.5-2.1.dsc 05-Aug-2012 13:32 1708 ptex-base_2.5-2.diff.gz 01-Aug-2012 21:44 6655 ptex-base_2.5-2.dsc 01-Aug-2012 21:44 589 ptex-base_2.5-3.debian.tar.xz 11-Dec-2016 00:42 6016 ptex-base_2.5-3.dsc 11-Dec-2016 00:42 1716 ptex-base_2.5.orig.tar.gz 19-Apr-2012 03:06 396209