Bug#714998: lib32gmp-dev: non standard header file path

[Bill Allombert]

On Fri, Jul 05, 2013 at 08:42:49PM -0500, Steve M. Robbins wrote:
> On July 5, 2013 05:23:50 AM Bill Allombert wrote:
> > Package: lib32gmp-dev
> > Version: 2:5.1.2+dfsg-2
> > Severity: important
> > 
> > Hello Debian Science Team,
> > 
> > libgmp32-dev header file is installed in
> > /usr/include/gmp32/x86_64-linux-gnu/gmp.h
> > There is no way any software will find it there.
> > 
> > Cheers,
> 
> Not to worry: I plan to remove lib32gmp next upload.  :-)

I wondered why the move to gmp32 was done in favor of removing the package.

I hope you will still provide lib64gmp for powerpc until there is a proper
ppc64 port.

> With multi-arch, you can install the i386 version which contains a header 
> located in a standard include path.

Indeed.

Cheers,
Bill