Index of /deepin/pool/main/r/redet

 Name                       Last modified      Size  Description
 Parent Directory                                -   
 redet-doc_8.26-1.3_all.deb 2022-04-11 05:39  4.8M  
 redet_8.26-1.3.diff.gz     2022-04-11 05:21  3.8K  
 redet_8.26-1.3.dsc         2022-04-11 05:21  1.7K  
 redet_8.26-1.3_all.deb     2022-04-11 05:38  233K  
 redet_8.26.orig.tar.gz     2022-04-11 05:21  5.3M

Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80