Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443Name Last modified Size Description
Parent Directory -
base-dbg.txz 2024-07-11 09:43 259M
base.txz 2024-07-11 09:43 196M
src.txz 2024-07-11 09:43 194M
kernel-dbg.txz 2024-07-11 09:43 70M
ports.txz 2024-07-11 09:43 50M
kernel.txz 2024-07-11 09:43 45M
tests.txz 2024-07-11 09:43 14M
MANIFEST 2024-07-11 09:43 783
REVISION 2024-07-11 12:00 13
GITBRANCH 2024-07-11 12:00 10
BUILDDATE 2024-07-11 12:00 9