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

../
gnu-efi_3.0.18-1.debian.tar.xz                     27-Mar-2024 21:30                7916
gnu-efi_3.0.18-1.dsc                               27-Mar-2024 21:30                2114
gnu-efi_3.0.18.orig.tar.bz2                        27-Mar-2024 21:30              167567