../ ptex_2.4.2_aarch64.deb 12-Sep-2022 02:46 124816 ptex_2.4.2_arm.deb 12-Sep-2022 02:46 106872 ptex_2.4.2_i686.deb 12-Sep-2022 02:46 146568 ptex_2.4.2_x86_64.deb 12-Sep-2022 02:46 145648