../ texify_1.20-3.debian.tar.xz 26-Apr-2023 17:17 2628 texify_1.20-3.dsc 26-Apr-2023 17:17 1755 texify_1.20-3_all.deb 26-Apr-2023 17:17 12K texify_1.20.dsc 26-Apr-2023 12:29 483 texify_1.20.orig.tar.gz 26-Apr-2023 17:17 11K texify_1.20.tar.gz 26-Apr-2023 12:29 11K texify_1.20_all.deb 26-Apr-2023 12:29 12K