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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
