../ ptex2tex_0.4-1.debian.tar.gz 26-Sep-2025 13:48 9557 ptex2tex_0.4-1.dsc 26-Sep-2025 13:48 1338 ptex2tex_0.4-1_all.deb 26-Sep-2025 13:48 29K ptex2tex_0.4.orig.tar.gz 26-Sep-2025 13:48 198K