Index of ftp://ftp.mpi-inf.mpg.de/pub

[DIR] Root Directory

[TXT] README.html  342.00b  May 17 2018
[LNK] gnu  11.00b  September 17 2007
[LNK] incoming  12.00b  December 15 2009
[LNK] linux  13.00b  September 17 2007
[LNK] mirrors  10.00b  December 15 2009
[DIR] outgoing  12.00b  January 6 2023 at 15:37
[LNK] solaris  15.00b  September 17 2007
[LNK] tex  11.00b  September 17 2007
[TXT] welcome.msg  773.00b  April 23 2008