../ texify_1.20-5.debian.tar.xz 18-Jul-2025 16:39 3100 texify_1.20-5.dsc 18-Jul-2025 16:39 871 texify_1.20-5_all.deb 17-Jul-2025 14:11 11K texify_1.20.orig.tar.gz 18-Jul-2025 16:39 11K