Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - base-dbg.txz 2024-05-30 10:16 259M base.txz 2024-05-30 10:16 196M src.txz 2024-05-30 10:16 195M kernel-dbg.txz 2024-05-30 10:16 70M ports.txz 2024-05-30 10:16 50M kernel.txz 2024-05-30 10:16 45M tests.txz 2024-05-30 10:16 14M MANIFEST 2024-05-30 10:16 783 REVISION 2024-05-30 12:31 13 GITBRANCH 2024-05-30 12:31 10 BUILDDATE 2024-05-30 12:31 9