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


../
gnu-efi_3.0i-3.diff.gz                             05-May-2010 16:35                4580
gnu-efi_3.0i-3.dsc                                 05-May-2010 16:35                1101
gnu-efi_3.0i-3_amd64.deb                           05-May-2010 16:35              136766
gnu-efi_3.0i.orig.tar.gz                           12-Sep-2009 10:06              135068