Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443Name Last modified Size Description
Parent Directory -
base-dbg.txz 2023-11-10 10:18 268M
base.txz 2023-11-10 10:18 195M
src.txz 2023-11-10 10:18 194M
kernel-dbg.txz 2023-11-10 10:18 59M
ports.txz 2023-11-10 10:18 47M
kernel.txz 2023-11-10 10:18 28M
tests.txz 2023-11-10 10:18 16M
MANIFEST 2023-11-10 10:18 783
REVISION 2023-11-10 10:30 13
GITBRANCH 2023-11-10 10:30 12
BUILDDATE 2023-11-10 10:30 9