Index of /pub

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]conferences/2014-11-11 16:37 -  
[DIR]gnu/2012-07-17 13:06 -  
[DIR]incoming/2017-10-25 16:46 -  
[DIR]linux/2012-07-17 13:15 -  
[DIR]mirrors/2016-01-21 13:37 -  
[DIR]outgoing/2015-04-15 13:43 -  
[DIR]perl/2012-07-17 13:13 -  
[DIR]solaris/2012-07-17 13:14 -  
[DIR]tex/2012-07-17 11:05 -  
[   ]welcome.msg2008-04-23 10:09 773  

Apache/2.4.10 (Debian) Server at ftp.mpi-inf.mpg.de Port 80