../ discodos_1.0~rc2-1.debian.tar.xz 17-Jul-2020 15:03 2280 discodos_1.0~rc2-1.dsc 17-Jul-2020 15:03 2031 discodos_1.0~rc2-1_all.deb 17-Jul-2020 15:03 57268 discodos_1.0~rc2.orig.tar.gz 17-Jul-2020 15:03 20110046