Apache/2.4 Server at ftp.rrze.uni-erlangen.de Port 80Name Last modified Size Description
Parent Directory -
BUILDDATE 2021-01-07 10:41 9
GITBRANCH 2021-01-07 10:41 5
MANIFEST 2021-01-07 10:26 782
REVISION 2021-01-07 10:41 12
base-dbg.txz 2021-01-07 10:26 142M
base.txz 2021-01-07 10:26 147M
kernel-dbg.txz 2021-01-07 10:26 36M
kernel.txz 2021-01-07 10:26 18M
ports.txz 2021-01-07 10:26 39M
src.txz 2021-01-07 10:26 152M
tests.txz 2021-01-07 10:26 12M