Index of /debian/pool/main/d/discodos

Icon  Name                             Last modified      Size  
[PARENTDIR] Parent Directory                                      -   
[   ] discodos_1.0~rc2-2.debian.tar.xz 2021-09-15 05:53  2.4K  
[   ] discodos_1.0~rc2-2.dsc           2021-09-15 05:53  2.0K  
[   ] discodos_1.0~rc2-2_all.deb       2021-09-15 06:18   56K  
[   ] discodos_1.0~rc2.orig.tar.gz     2020-07-17 17:03   19M
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443