Index of /pub/gwdg/ubuntu/22.04/pool/main/g/gnu-efi/

../
gnu-efi_3.0.13+git20210716.269ef9d-2ubuntu1_amd..> 15-Mar-2022 14:34              132956
gnu-efi_3.0.13+git20210716.269ef9d-2ubuntu1_i38..> 15-Mar-2022 14:34              133236