../ discodos_1.0~rc2-2.debian.tar.xz 01-May-2022 09:18 2476 discodos_1.0~rc2-2.dsc 01-May-2022 09:18 1997 discodos_1.0~rc2-2_all.deb 30-Apr-2022 04:43 58110 discodos_1.0~rc2.orig.tar.gz 01-May-2022 09:18 20110046