../ stex_1.2.1+git20171204.g5e4f0ca-2.debian.tar.xz 10-May-2018 11:20 3100 stex_1.2.1+git20171204.g5e4f0ca-2.dsc 10-May-2018 11:20 1966 stex_1.2.1+git20171204.g5e4f0ca-2_all.deb 10-May-2018 11:20 197768 stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 12-Dec-2017 16:34 211095