Index of /dev/pool/main/s/stex/

../
stex_1.2.1+git20171204.g5e4f0ca-4.debian.tar.xz    18-Jul-2019 12:04                3264
stex_1.2.1+git20171204.g5e4f0ca-4.dsc              18-Jul-2019 12:04                1966
stex_1.2.1+git20171204.g5e4f0ca-4_all.deb          18-Jul-2019 12:34              197944
stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz        12-Dec-2017 16:34              211095