../ stex_1.2.1+git20171204.g5e4f0ca-3.debian.tar.xz 30-Sep-2018 10:30 3152 stex_1.2.1+git20171204.g5e4f0ca-3.dsc 30-Sep-2018 10:30 1966 stex_1.2.1+git20171204.g5e4f0ca-3_all.deb 30-Sep-2018 10:30 197844 stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 12-Dec-2017 13:34 211095