../ stex_1.2.1+git20171204.g5e4f0ca-3.1.debian.tar.xz 02-Jul-2022 03:45 3256 stex_1.2.1+git20171204.g5e4f0ca-3.1.dsc 02-Jul-2022 03:45 1091 stex_1.2.1+git20171204.g5e4f0ca-3.1_all.deb 02-Jul-2022 06:11 197908 stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 02-Jul-2022 03:45 211095