gnu-efi_4.0.0-1.debian.tar.xz
gnu-efi_4.0.0-1.dsc
gnu-efi_4.0.0-1_amd64.deb
gnu-efi_4.0.0-1_i386.deb
gnu-efi_4.0.0.orig.tar.gz