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


../
gnu-efi_3.0.9-1.debian.tar.xz                      22-Oct-2018 11:57                8080
gnu-efi_3.0.9-1.dsc                                22-Oct-2018 11:57                1940
gnu-efi_3.0.9-1_amd64.deb                          22-Oct-2018 12:27              139620
gnu-efi_3.0.9.orig.tar.bz2                         22-Oct-2018 11:57              154445