Index of ftp://ftp.mpi-sb.mpg.de/mirrors

[DIR] Root Directory

[DIR] gnu  3.00b  July 17 2012
[DIR] linux  4.00b  March 9 2018
[DIR] solaris  3.00b  July 17 2012
[DIR] tex  3.00b  July 17 2012