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

	Name	Last modified	Size
	Parent Directory		-
	discodos_1.0~rc2-2.debian.tar.xz	2021-09-15 03:53	2.4K
	discodos_1.0~rc2-2.dsc	2021-09-15 03:53	2.0K
	discodos_1.0~rc2-2_all.deb	2021-09-15 04:18	56K
	discodos_1.0~rc2.orig.tar.gz	2020-07-17 15:03	19M