../ stex_1.2.1+git20171204.g5e4f0ca-4.debian.tar.xz 18-Jul-2019 12:04 3264 stex_1.2.1+git20171204.g5e4f0ca-4.dsc 18-Jul-2019 12:04 1966 stex_1.2.1+git20171204.g5e4f0ca-4_all.deb 18-Jul-2019 12:34 193K stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 12-Dec-2017 16:34 206K