Apache/2.4.58 (Ubuntu) Server at ftp.fau.de Port 443Name Last modified Size Description
Parent Directory -
BUILDDATE 2025-07-24 18:34 9
GITBRANCH 2025-07-24 18:34 5
MANIFEST 2025-07-24 15:01 781
REVISION 2025-07-24 18:34 13
base-dbg.txz 2025-07-24 15:01 140M
base.txz 2025-07-24 15:01 154M
kernel-dbg.txz 2025-07-24 15:01 54M
kernel.txz 2025-07-24 15:01 26M
ports.txz 2025-07-24 15:01 50M
src.txz 2025-07-24 15:01 208M
tests.txz 2025-07-24 15:01 17M