../ stex_1.2.1+git20171204.g5e4f0ca-3.debian.tar.xz 11-Apr-2022 11:17 3152 stex_1.2.1+git20171204.g5e4f0ca-3.dsc 11-Apr-2022 11:17 1966 stex_1.2.1+git20171204.g5e4f0ca-3_all.deb 11-Apr-2022 11:18 193K stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 11-Apr-2022 11:17 206K