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