Name Last modified Size
Parent Directory - stex_1.2.1+git20171204.g5e4f0ca-1.debian.tar.xz 2018-01-20 12:08 2.8K stex_1.2.1+git20171204.g5e4f0ca-1.dsc 2018-01-20 12:08 1.9K stex_1.2.1+git20171204.g5e4f0ca-1_all.deb 2018-01-21 09:00 193K stex_1.2.1+git20171204.g5e4f0ca-4.debian.tar.xz 2019-07-18 19:40 3.2K stex_1.2.1+git20171204.g5e4f0ca-4.dsc 2019-07-18 19:40 1.9K stex_1.2.1+git20171204.g5e4f0ca-4_all.deb 2019-07-18 19:41 193K stex_1.2.1+git20171204.g5e4f0ca-6.debian.tar.xz 2024-07-01 08:11 3.6K stex_1.2.1+git20171204.g5e4f0ca-6.dsc 2024-07-01 08:11 1.9K stex_1.2.1+git20171204.g5e4f0ca-6_all.deb 2024-07-01 08:11 194K stex_1.2.1+git20171204.g5e4f0ca.orig.tar.gz 2018-01-20 12:08 206K
This mirror is brought to you by HR-Tech and Heiko Richter