../ ptex-static_2.4.2_aarch64.deb 12-Sep-2022 02:46 120816 ptex-static_2.4.2_arm.deb 12-Sep-2022 02:46 106396 ptex-static_2.4.2_i686.deb 12-Sep-2022 02:46 115964 ptex-static_2.4.2_x86_64.deb 12-Sep-2022 02:46 132172