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

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

     Total files found: 2,568,923
     Total  dirs found: 239,949
     Total links found: 71,963

     Indexed at: Mon Mar  7 23:58:05 2022
=======================================================

[DIR] Main Index

[DIR] incoming  20.00b  December 21 2020
[DIR] mirrors  6.00b  March 18 2021
[DIR] pub  11.00b  March 18 2021