../ jbibtex-base_2.5-3_all.deb 10-Dec-2016 19:12 88K ptex-base_2.5-3.debian.tar.xz 10-Dec-2016 18:27 6016 ptex-base_2.5-3.dsc 10-Dec-2016 18:27 1716 ptex-base_2.5-3_all.deb 10-Dec-2016 19:12 153K ptex-base_2.5.orig.tar.gz 05-Dec-2007 01:47 387K