../ texify_1.20-2.debian.tar.gz 27-Sep-2017 11:52 2760 texify_1.20-2.dsc 27-Sep-2017 11:52 1020 texify_1.20-2_all.deb 27-Sep-2017 12:32 13K texify_1.20.orig.tar.gz 16-Feb-2017 13:53 11K