Index of /deb-ppa/dists/stretch

	Name	Last modified	Size	Description
	Parent Directory		-
	InRelease	2019-05-23 18:07	7.1K
	Release	2019-05-23 18:07	6.3K
	Release.gpg	2019-05-23 18:07	833
	contrib/	2019-05-23 18:07	-
	main/	2019-05-23 18:07	-
	non-free/	2019-05-23 18:07	-