Index of /debian/

../
dists/                                             26-Mar-2022 10:48                   -
doc/                                               18-May-2022 22:23                   -
indices/                                           18-May-2022 22:23                   -
pool/                                              19-Dec-2000 20:10                   -
project/                                           17-Nov-2008 23:05                   -
tools/                                             10-Oct-2012 16:29                   -
zzz-dists/                                         14-Aug-2021 13:55                   -
Archive-Update-in-Progress-pubmirror.plutex.de     18-May-2022 22:20                   6
README                                             26-Mar-2022 10:48                1320
README.CD-manufacture                              26-Jun-2010 09:52                1290
README.html                                        26-Mar-2022 10:48                3203
README.mirrors.html                                04-Mar-2017 20:08                 291
README.mirrors.txt                                 04-Mar-2017 20:08                  86
extrafiles                                         18-May-2022 20:25              216468
ls-lR.gz                                           18-May-2022 14:18            16216260