Apache/2.4.58 (Ubuntu) Server at ftp.fau.de Port 443Name Last modified Size Description
Parent Directory -
BUILDDATE 2025-10-16 14:43 9
GITBRANCH 2025-10-16 14:43 10
MANIFEST 2025-10-16 13:56 783
REVISION 2025-10-16 14:43 13
base-dbg.txz 2025-10-16 13:56 119M
base.txz 2025-10-16 13:56 154M
kernel-dbg.txz 2025-10-16 13:56 51M
kernel.txz 2025-10-16 13:56 27M
ports.txz 2025-10-16 13:56 54M
src.txz 2025-10-16 13:56 200M
tests.txz 2025-10-16 13:56 16M