Bug#714998: lib32gmp-dev: non standard header file path
Steve M. Robbins
steve at sumost.ca
Sat Jul 6 01:42:49 UTC 2013
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
More information about the debian-science-maintainers
mailing list