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

	Name	Last modified	Size	Description
	Parent Directory		-
	discodos_1.0~rc2-2_all.deb	2021-09-15 01:18	56K
	discodos_1.1-1_all.deb	2024-01-22 19:37	64K