Index of /debian/dists/disco

	Name	Last modified	Size	Description
	Parent Directory		-
	main/	2019-04-23 14:43	-
	Release.gpg	2020-05-05 14:54	833
	Release	2020-05-05 14:54	2.3K
	InRelease	2020-05-05 14:54	3.1K