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

[A Mennucc]

On Tue, Jun 09, 2009 at 09:00:50AM +0200, Julien BLACHE wrote:
> 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.

IMHO instead amd64 is to be preferred, since it is the official 
Debian name for that kind of architecture, and there are already many 
packages in Debian that contain 'amd64' in their name

just my 2cents

a.