Index of ftp://ftp.mpi-inf.mpg.de/pub/
Root Directory
README.html
342.00b
May 17 2018
gnu
11.00b
September 17 2007
incoming
12.00b
December 15 2009
linux
13.00b
September 17 2007
mirrors
10.00b
December 15 2009
outgoing
12.00b
January 6 2023 at 15:37
solaris
15.00b
September 17 2007
tex
11.00b
September 17 2007
welcome.msg
773.00b
April 23 2008