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
/usr/share/doc/efi-shell-x64/changelog.Debian.gz /usr/share/doc/efi-shell-x64/copyright /usr/share/efi-shell-x64/shellx64.efi