Index of /ondrej/php/ubuntu/dists/disco

	Name	Last modified	Size	Description
	Parent Directory		-
	main/	2019-03-07 20:07	-
	by-hash/	2019-03-07 20:08	-
	Release.gpg	2020-02-01 18:00	299
	Release	2020-02-01 18:00	20K
	InRelease	2020-02-01 18:00	20K