Index of /mirror/archive.debian.org/debian/pool/main/g/gnu-efi

	Name	Last modified	Size	Description
	Parent Directory		-
	gnu-efi_3.0.4.orig.tar.bz2	2016-06-30 11:54	140K
	gnu-efi_3.0.4-2_amd64.deb	2016-06-30 14:46	127K
	gnu-efi_3.0.4-2.dsc	2016-06-30 13:45	1.9K
	gnu-efi_3.0.4-2.debian.tar.xz	2016-06-30 13:45	8.7K