../ stex_1.2.1+git20171204.g5e4f0ca-1.debian.tar.xz 12-Dec-2017 16:34 2860 stex_1.2.1+git20171204.g5e4f0ca-1.dsc 12-Dec-2017 16:34 1970 stex_1.2.1+git20171204.g5e4f0ca-1_all.deb 12-Dec-2017 16:34 197440 stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 12-Dec-2017 16:34 211095