../ jbibtex-base_2.5-2.1_all.deb 05-Aug-2012 13:32 98826 jbibtex-base_2.5-3_all.deb 10-Dec-2016 11:12 90182 ptex-base_2.5-2.1_all.deb 05-Aug-2012 13:32 1757896 ptex-base_2.5-3.debian.tar.xz 10-Dec-2016 10:27 6016 ptex-base_2.5-3_all.deb 10-Dec-2016 11:12 156710