../ texify_1.20-3.debian.tar.xz 31-Oct-2025 17:18 2628 texify_1.20-3.dsc 31-Oct-2025 17:18 1755 texify_1.20-3_all.deb 31-Oct-2025 17:30 12K texify_1.20-4.debian.tar.xz 31-Oct-2025 16:59 2708 texify_1.20-4.dsc 31-Oct-2025 16:59 1907 texify_1.20-4_all.deb 31-Oct-2025 16:42 12K texify_1.20.orig.tar.gz 31-Oct-2025 16:59 11K