Index of /old/debian/pool/main/r/redet/

../
redet-doc_8.26-1.1_all.deb                         24-Aug-2017 09:57             5199932
redet_8.26-1.1.diff.gz                             03-Oct-2017 11:57                3770
redet_8.26-1.1.dsc                                 03-Oct-2017 11:57                 999
redet_8.26-1.1_all.deb                             24-Aug-2017 09:41              303928
redet_8.26.orig.tar.gz                             03-Oct-2017 08:24             5524521