Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - base-dbg.txz 2023-11-10 09:08 199M src.txz 2023-11-10 09:08 194M base.txz 2023-11-10 09:08 158M kernel-dbg.txz 2023-11-10 09:08 56M ports.txz 2023-11-10 09:08 47M kernel.txz 2023-11-10 09:08 24M tests.txz 2023-11-10 09:08 16M MANIFEST 2023-11-10 09:08 783 REVISION 2023-11-10 11:32 13 GITBRANCH 2023-11-10 11:32 12 BUILDDATE 2023-11-10 11:32 9