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

[Steve M. Robbins]

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.  :-)

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

-Steve