../ texify_1.20-5.debian.tar.xz 02-Jan-2025 03:21 3100 texify_1.20-5.dsc 02-Jan-2025 03:21 1913 texify_1.20-5_all.deb 02-Jan-2025 03:51 11K texify_1.20.orig.tar.gz 24-Nov-2010 08:32 11K