Bestandenoverzicht voor pakket efi-shell-ia32 in sid voor het platform all

/usr/share/doc/efi-shell-ia32/changelog.Debian.gz
/usr/share/doc/efi-shell-ia32/copyright
/usr/share/efi-shell-ia32/shellia32.efi