Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443Name Last modified Size Description
Parent Directory -
base-dbg.txz 2024-08-16 10:47 203M
src.txz 2024-08-16 10:47 195M
base.txz 2024-08-16 10:47 185M
kernel-dbg.txz 2024-08-16 10:47 53M
ports.txz 2024-08-16 10:47 50M
kernel.txz 2024-08-16 10:47 25M
tests.txz 2024-08-16 10:47 15M
MANIFEST 2024-08-16 10:47 783
REVISION 2024-08-16 12:09 13
GITBRANCH 2024-08-16 12:09 12
BUILDDATE 2024-08-16 12:09 9