../ discodos_1.0~rc2-1.debian.tar.xz 22-Jul-2020 23:13 2280 discodos_1.0~rc2-1.dsc 22-Jul-2020 23:13 2031 discodos_1.0~rc2-1_all.deb 23-Jul-2020 00:03 57304 discodos_1.0~rc2.orig.tar.gz 22-Jul-2020 23:13 20110046