../ redet-doc_8.26-1.5_all.deb 15-Jul-2025 12:07 5M redet_8.26-1.5.debian.tar.xz 18-Jul-2025 10:50 4032 redet_8.26-1.5.dsc 18-Jul-2025 10:50 875 redet_8.26-1.5_all.deb 15-Jul-2025 12:07 232K redet_8.26.orig.tar.gz 18-Jul-2025 10:50 5M