../ ptex2tex_0.4-1.debian.tar.gz 11-Apr-2022 04:05 9557 ptex2tex_0.4-1.dsc 11-Apr-2022 04:05 1338 ptex2tex_0.4-1_all.deb 11-Apr-2022 04:25 29620 ptex2tex_0.4.orig.tar.gz 11-Apr-2022 04:05 203141