../ jbibtex-base_2.5-3.1_all.deb 20-Oct-2022 14:55 88K ptex-base_2.5-3.1.debian.tar.xz 20-Oct-2022 15:26 6116 ptex-base_2.5-3.1.dsc 20-Oct-2022 15:26 1738 ptex-base_2.5-3.1_all.deb 20-Oct-2022 14:55 153K ptex-base_2.5.orig.tar.gz 20-Oct-2022 15:26 387K