../ stex_1.2.1+git20171204.g5e4f0ca-3.debian.tar.xz 05-Oct-2018 02:59 3152 stex_1.2.1+git20171204.g5e4f0ca-3.dsc 05-Oct-2018 02:59 1966 stex_1.2.1+git20171204.g5e4f0ca-3_all.deb 05-Oct-2018 03:04 193K stex_1.2.1+git20171204.g5e4f0ca-4.debian.tar.xz 01-Oct-2019 00:12 3264 stex_1.2.1+git20171204.g5e4f0ca-4.dsc 01-Oct-2019 00:12 1966 stex_1.2.1+git20171204.g5e4f0ca-4_all.deb 02-Oct-2019 17:29 193K stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 30-Jan-2018 08:01 206K