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

../
gnu-efi_3.0.15-1_amd64.deb                         27-Jan-2023 21:30              140428
gnu-efi_3.0.15-1_i386.deb                          27-Jan-2023 21:25              140380