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