Index of /ondrej/php/ubuntu/dists/trusty

	Name	Last modified	Size	Description
	Parent Directory		-
	main/	2016-03-03 12:55	-
	InRelease	2019-05-03 10:10	20K
	Release	2019-05-03 10:10	20K
	Release.gpg	2019-05-03 10:10	299