Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 80
Parent Directory - texinfo-tex-7.1-1.tar.xz 2024-02-23 17:39 127K texinfo-tex-7.1-1.hint 2024-02-23 17:39 238 texinfo-tex-7.0.3-3.tar.xz 2023-05-03 01:18 127K texinfo-tex-7.0.3-3.hint 2023-05-03 01:18 263 texinfo-tex-7.0.3-2.tar.xz 2023-05-02 22:19 127K texinfo-tex-7.0.3-2.hint 2023-05-02 22:19 238 sha512.sum 2024-02-23 17:44 932