../ texify_1.20-2.debian.tar.gz 03-Dec-2023 01:27 2760 texify_1.20-2.dsc 03-Dec-2023 01:27 1020 texify_1.20-2_all.deb 03-Dec-2023 01:27 13128 texify_1.20-3.debian.tar.xz 02-Dec-2023 10:54 2628 texify_1.20-3.dsc 02-Dec-2023 10:54 1755 texify_1.20-3_all.deb 02-Dec-2023 10:54 11946 texify_1.20-4_all.deb 14-Dec-2018 03:08 12080 texify_1.20.orig.tar.gz 01-Dec-2023 16:56 11135