Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443Name Last modified Size Description
Parent Directory -
base-dbg.txz 2024-08-30 11:31 269M
base.txz 2024-08-30 11:31 196M
src.txz 2024-08-30 11:31 194M
kernel-dbg.txz 2024-08-30 11:31 61M
ports.txz 2024-08-30 11:31 50M
kernel.txz 2024-08-30 11:31 36M
tests.txz 2024-08-30 11:31 14M
MANIFEST 2024-08-30 11:31 783
REVISION 2024-08-30 14:46 13
GITBRANCH 2024-08-30 14:46 12
BUILDDATE 2024-08-30 14:46 9