../ chktex_1.7.8-1.debian.tar.xz 11-Dec-2022 16:03 8744 chktex_1.7.8-1.dsc 11-Dec-2022 16:03 2067 chktex_1.7.8-1_riscv64.deb 21-Aug-2024 14:31 119K chktex_1.7.8.orig.tar.gz 11-Dec-2022 16:03 565K chktex_1.7.9-1.debian.tar.xz 06-May-2024 23:28 8768 chktex_1.7.9-1.dsc 06-May-2024 23:28 2067 chktex_1.7.9-1_riscv64.deb 11-Jun-2025 19:26 119K chktex_1.7.9.orig.tar.gz 06-May-2024 23:28 176K