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


../
gnu-efi_3.0.9-1.debian.tar.xz                      27-Oct-2018 08:57                8080
gnu-efi_3.0.9-1.dsc                                27-Oct-2018 08:57                1940
gnu-efi_3.0.9-1_amd64.deb                          27-Oct-2018 09:01              139620
gnu-efi_3.0.9-1_arm64.deb                          27-Oct-2018 09:01              109264
gnu-efi_3.0.9.orig.tar.bz2                         27-Oct-2018 08:57              154445