Index of /ubuntu/dists/disco/main/uefi/grub-efi-amd64-amd64/current

	Name	Last modified	Size
	Parent Directory		-
	SHA256SUMS	2018-10-30 09:09	320
	SHA256SUMS.gpg	2018-10-30 09:09	819
	control/	2018-10-30 09:09	-
	grubx64.efi	2018-10-30 09:09	783K
	grubx64.efi.signed	2018-10-30 09:09	785K
	version	2018-10-30 09:09	14