Apache/2.4.59 (Debian) Server at mirror.freedif.org Port 443Name Last modified Size Description
Parent Directory -
stex_1.2.1+git20171204.g5e4f0ca-3.debian.tar.xz 2022-04-11 11:17 3.1K
stex_1.2.1+git20171204.g5e4f0ca-3.dsc 2022-04-11 11:17 1.9K
stex_1.2.1+git20171204.g5e4f0ca-3_all.deb 2022-04-11 11:18 193K
stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 2022-04-11 11:17 206K