../ ptex2tex_0.4-1.debian.tar.gz 24-Apr-2019 17:41 9557 ptex2tex_0.4-1.dsc 24-Apr-2019 17:41 1338 ptex2tex_0.4-1_all.deb 24-Apr-2019 17:41 29K ptex2tex_0.4.orig.tar.gz 24-Apr-2019 17:41 198K