../ ptex2tex_0.4-1.debian.tar.gz 27-Mar-2020 22:17 9557 ptex2tex_0.4-1.dsc 27-Mar-2020 22:17 1338 ptex2tex_0.4-1_all.deb 27-Mar-2020 22:17 29K ptex2tex_0.4.orig.tar.gz 27-Mar-2020 22:17 198K