Index of ftp://ftp.mpi-inf.mpg.de/mirrors
Root Directory
gnu
3.00b
July 17 2012
linux
4.00b
March 9 2018
solaris
3.00b
July 17 2012
tex
3.00b
July 17 2012