File list of package efi-shell-x64 in sid of architecture all

/usr/share/doc/efi-shell-x64/changelog.Debian.gz
/usr/share/doc/efi-shell-x64/copyright
/usr/share/efi-shell-x64/shellx64.efi