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

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

     Total files found: 1,649,649
     Total  dirs found: 140,255
     Total links found: 69,301

     Indexed at: Wed Apr 12 01:05:41 2023
=======================================================

[DIR] Main Index

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