Apache/2.4.62 (Debian) Server at de.freedif.org Port 443Name Last modified Size Description
Parent Directory -
stex_1.2.1+git20171204.g5e4f0ca-6.debian.tar.xz 2024-07-01 05:48 3.6K
stex_1.2.1+git20171204.g5e4f0ca-6.dsc 2024-07-01 05:48 1.9K
stex_1.2.1+git20171204.g5e4f0ca-6_all.deb 2024-07-01 06:23 193K
stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 2017-12-13 00:34 206K