Dear user of ftp.gwdg.de, we will have a scheduled downtime for FTP

at July, 22nd from 7am approx. till 4pm

Index of /pub/gnu/

Index of /pub/gnu/


../
ftp/                                               24-Jun-2017 09:58                   -
www/                                               09-Dec-2016 16:49                   -