Index of /philip5/extra/ubuntu/dists/devel

	Name	Last modified	Size	Description
	Parent Directory		-
	InRelease	2017-06-22 23:51	15K
	Release	2017-06-22 23:51	15K
	Release.gpg	2017-06-22 23:51	316
	main/	2017-05-09 20:00	-