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
=======================================================

Main Index

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