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

=======================================================
  Server: ftp://ftp.mpi-inf.mpg.de

     Total files found: 4,311,906
     Total  dirs found: 325,592
     Total links found: 815,502

     Indexed at: Tue Sep 29 17:14:02 2020
=======================================================

[DIR] Main Index

[DIR] incoming  21.00b  September 28 2020 at 13:57
[DIR] mirrors  7.00b  January 21 2016
[DIR] pub  13.00b  May 17 2018