Liste des fichiers du paquet efi-shell-ia32 dans sid pour l'architecture all

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