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

../
gnu-efi_3.0.13+git20210716.269ef9d-2.debian.tar.xz 14-Sep-2021 06:40                7712
gnu-efi_3.0.13+git20210716.269ef9d-2.dsc           14-Sep-2021 06:40                2194
gnu-efi_3.0.13+git20210716.269ef9d-2_amd64.deb     14-Sep-2021 07:10              144828
gnu-efi_3.0.13+git20210716.269ef9d.orig.tar.xz     29-Jul-2021 16:28              147868
gnu-efi_3.0.9-2.debian.tar.xz                      04-Feb-2021 11:15                8336
gnu-efi_3.0.9-2.dsc                                04-Feb-2021 11:15                2008
gnu-efi_3.0.9-2_amd64.deb                          04-Feb-2021 11:40              140736
gnu-efi_3.0.9.orig.tar.bz2                         22-Oct-2018 11:57              154445