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