Apache/2.4.58 (Ubuntu) Server at ftp.fau.de Port 443Name Last modified Size Description
Parent Directory -
src.txz 2025-08-28 11:32 200M
base.txz 2025-08-28 11:32 167M
base-dbg.txz 2025-08-28 11:32 111M
ports.txz 2025-08-28 11:32 53M
kernel-dbg.txz 2025-08-28 11:32 52M
kernel.txz 2025-08-28 11:32 24M
tests.txz 2025-08-28 11:32 17M
MANIFEST 2025-08-28 11:32 783
REVISION 2025-08-28 15:01 13
GITBRANCH 2025-08-28 15:01 10
BUILDDATE 2025-08-28 15:01 9