Index of /giuspen/ppa/ubuntu/dists/disco/main/source

	Name	Last modified	Size	Description
	Parent Directory		-
	Release	2020-04-04 16:43	105
	Sources.gz	2020-04-04 16:43	866
	Sources.xz	2020-04-04 16:43	936
	by-hash/	2018-12-16 15:09	-