Index of /deb/disco

	Name	Last modified	Size	Description
	Parent Directory		-
	InRelease	26-Nov-2019 17:21	1.9K
	Packages	26-Nov-2019 17:21	1.5K
	Packages.gz	26-Nov-2019 17:21	671
	Release	26-Nov-2019 17:21	1.0K
	Release.gpg	26-Nov-2019 17:21	836
	pool/	26-Nov-2019 17:04	-