../ texify_1.20-4.1.debian.tar.xz 31-Oct-2025 11:44 2808 texify_1.20-4.1.dsc 31-Oct-2025 11:44 1756 texify_1.20-4.1_all.deb 31-Oct-2025 11:44 12196 texify_1.20-5.debian.tar.xz 31-Oct-2025 11:44 3100 texify_1.20-5.dsc 31-Oct-2025 11:44 1913 texify_1.20-5_all.deb 31-Oct-2025 11:44 11472 texify_1.20.orig.tar.gz 31-Oct-2025 11:44 11135