| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| redet_8.26.orig.tar.gz | 5.3 MiB | April 11, 2022 10:21 |
| redet_8.26-1.3_all.deb | 233.0 KiB | April 11, 2022 10:38 |
| redet_8.26-1.3.dsc | 1.7 KiB | April 11, 2022 10:21 |
| redet_8.26-1.3.diff.gz | 3.8 KiB | April 11, 2022 10:21 |
| redet-doc_8.26-1.3_all.deb | 4.8 MiB | April 11, 2022 10:39 |