(BIN) stex_1.2.1+git20171204.g5e4f0ca-4.debian.tar.xz
 (TXT) stex_1.2.1+git20171204.g5e4f0ca-4.dsc
 (BIN) stex_1.2.1+git20171204.g5e4f0ca-4_all.deb
 (BIN) stex_1.2.1+git20171204.g5e4f0ca-6.debian.tar.xz
 (TXT) stex_1.2.1+git20171204.g5e4f0ca-6.dsc
 (BIN) stex_1.2.1+git20171204.g5e4f0ca-6_all.deb
 (BIN) stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz