../ jbibtex-base_2.5-3_all.deb 10-Dec-2016 11:12 90182 ptex-base_2.5-3.debian.tar.xz 10-Dec-2016 10:27 6016 ptex-base_2.5-3.dsc 10-Dec-2016 10:27 1716 ptex-base_2.5-3_all.deb 10-Dec-2016 11:12 156710 ptex-base_2.5.orig.tar.gz 04-Dec-2007 17:47 396209