Name Last modified Size Description
Parent Directory - stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 2017-12-12 17:34 206K stex_1.2.1+git20171204.g5e4f0ca-4.debian.tar.xz 2019-07-18 14:04 3.2K stex_1.2.1+git20171204.g5e4f0ca-4.dsc 2019-07-18 14:04 1.9K stex_1.2.1+git20171204.g5e4f0ca-4_all.deb 2019-07-18 14:34 193K