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

Icon  Name                         Last modified      Size  
[PARENTDIR] Parent Directory - [   ] redet_8.26-1.3.dsc 2018-04-27 11:04 1.7K [   ] redet_8.26-1.4.dsc 2021-01-06 16:54 1.7K [   ] redet_8.26-1.5.dsc 2022-04-16 07:40 1.7K [   ] redet_8.26-1.3.diff.gz 2018-04-27 11:04 3.8K [   ] redet_8.26-1.4.diff.gz 2021-01-06 16:54 3.9K [   ] redet_8.26-1.5.debian.tar.xz 2022-04-16 07:40 3.9K [   ] redet_8.26-1.3_all.deb 2018-04-27 11:04 233K [   ] redet_8.26-1.4_all.deb 2021-01-06 18:27 233K [   ] redet_8.26-1.5_all.deb 2022-04-26 08:29 233K [   ] redet-doc_8.26-1.3_all.deb 2018-04-27 11:04 4.8M [   ] redet-doc_8.26-1.4_all.deb 2021-01-06 18:27 4.8M [   ] redet-doc_8.26-1.5_all.deb 2022-04-26 08:29 4.8M [   ] redet_8.26.orig.tar.gz 2009-02-02 23:02 5.3M
Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443