Index of /ubuntu-archive/ubuntu/dists/disco/main/uefi/grub-efi-amd64-amd64/2.00-5ubuntu2

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