../ stex_1.2.1+git20171204.g5e4f0ca-1.debian.tar.xz 20-Jan-2018 11:08 2860 stex_1.2.1+git20171204.g5e4f0ca-1.dsc 20-Jan-2018 11:08 1970 stex_1.2.1+git20171204.g5e4f0ca-1_all.deb 21-Jan-2018 08:00 197508 stex_1.2.1+git20171204.g5e4f0ca-4.debian.tar.xz 18-Jul-2019 17:40 3264 stex_1.2.1+git20171204.g5e4f0ca-4.dsc 18-Jul-2019 17:40 1966 stex_1.2.1+git20171204.g5e4f0ca-4_all.deb 18-Jul-2019 17:41 197988 stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 20-Jan-2018 11:08 211095