../ texify_1.20-4.1.debian.tar.xz 02-Jul-2022 03:56 2784 texify_1.20-4.1.dsc 02-Jul-2022 03:56 873 texify_1.20-4.1_all.deb 02-Jul-2022 06:13 12156 texify_1.20.orig.tar.gz 02-Jul-2022 03:56 11135