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 Server at ftp.rrze.uni-erlangen.de Port 443