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/linux/debian/ubuntu/

../
dists/                                             20-Apr-2017 17:18                   -
indices/                                           27-Jun-2017 13:53                   -
iso/                                               27-Jun-2017 19:54                   -
pool/                                              27-Feb-2010 06:30                   -
project/                                           28-Jun-2013 11:52                   -
ubuntu/                                            27-Jun-2017 13:55                   -
ls-lR.gz                                           27-Jun-2017 13:54            15470506