../ redet-doc_8.26-1.3_all.deb 11-Apr-2022 10:39 5M redet_8.26-1.3.diff.gz 11-Apr-2022 10:21 3908 redet_8.26-1.3.dsc 11-Apr-2022 10:21 1723 redet_8.26-1.3_all.deb 11-Apr-2022 10:38 233K redet_8.26.orig.tar.gz 11-Apr-2022 10:21 5M