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

../
gnu-efi_3.0.9-1.debian.tar.xz                      20-Nov-2018 14:13                8080
gnu-efi_3.0.9-1.dsc                                20-Nov-2018 14:13                1940
gnu-efi_3.0.9-1_amd64.deb                          20-Nov-2018 14:18              119088
gnu-efi_3.0.9.orig.tar.bz2                         20-Nov-2018 14:13              154445