Bug#524756: please provide a 64bit grub-efi for the i386 distribution

[Julien BLACHE]

Felix Zielcke <fzielcke at z-51.de> wrote:

Hi,

> We added now to our Debian SVN trunk a grub-efi-ia32 package and
> grub-efi-amd64 both avaible on i386 and amd64

IIRC the EFI platform name for 64bit x86 is x64, not amd64. It'd be
nice if you could stick to the official platform name.

Thanks,

JB.

-- 
 Julien BLACHE - Debian & GNU/Linux Developer - <jblache at debian.org> 
 
 Public key available on <http://www.jblache.org> - KeyID: F5D6 5169 
 GPG Fingerprint : 935A 79F1 C8B3 3521 FD62 7CC7 CD61 4FD7 F5D6 5169