../ development/ 27-Jul-2026 18:39 - doc/ 20-Jul-2026 23:00 - ports/ 10-Jan-2022 21:38 - project/ 18-Oct-2020 20:19 - releases/ 12-Jun-2026 14:34 - snapshots/ 23-Jul-2026 05:48 - Archive-Update-in-Progress-ftp6.gwdg.de 27-Jul-2026 18:39 5 README.TXT 07-May-2015 16:18 4259 TIMESTAMP 27-Jul-2026 00:30 35 dir.sizes 26-Jul-2026 10:00 3667