Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - BUILDDATE 2023-04-07 08:22 9 GITBRANCH 2023-04-07 08:22 12 MANIFEST 2023-04-07 07:01 782 REVISION 2023-04-07 08:22 13 base-dbg.txz 2023-04-07 07:01 202M base.txz 2023-04-07 07:01 179M kernel-dbg.txz 2023-04-07 07:01 67M kernel.txz 2023-04-07 07:01 43M ports.txz 2023-04-07 07:01 46M src.txz 2023-04-07 07:01 187M tests.txz 2023-04-07 07:01 14M