Index of /debian-mirror/pool/main/g/gnu-efi

	Name	Last modified	Size	Description
	Parent Directory		-
	gnu-efi_3.0i-3.dsc	2010-05-06 01:35	1.1K
	gnu-efi_3.0i-3.diff.gz	2010-05-06 01:35	4.5K
	gnu-efi_3.0i.orig.tar.gz	2009-09-12 19:06	132K