Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80
Parent Directory - tectonic_0.15.0-1_arm.deb 2024-04-21 19:16 3.3M tectonic_0.15.0-1_aarch64.deb 2024-04-21 19:16 3.4M tectonic_0.15.0-1_x86_64.deb 2024-04-21 19:16 3.8M tectonic_0.15.0-1_i686.deb 2024-04-21 19:16 4.1M