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

2013-09-15 Thread Bill Allombert
On Sun, Jul 07, 2013 at 01:35:58PM -0500, Steve M. Robbins wrote: > On July 7, 2013 06:58:12 AM Bill Allombert wrote: > > > > I don't really track the various ports, so I'm not sure what you mean by > > > "proper". Does http://wiki.debian.org/PPC64 not work for you? > > > > You can easily check

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

2013-07-08 Thread Bill Allombert
On Sun, Jul 07, 2013 at 03:10:11PM -0500, Steve M. Robbins wrote: > On July 7, 2013 01:35:58 PM Steve M. Robbins wrote: > > On July 7, 2013 06:58:12 AM Bill Allombert wrote: > > > > I don't really track the various ports, so I'm not sure what you mean > > > > by "proper". Does http://wiki.debian.o

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

2013-07-07 Thread Steve M. Robbins
On July 7, 2013 01:35:58 PM Steve M. Robbins wrote: > On July 7, 2013 06:58:12 AM Bill Allombert wrote: > > > I don't really track the various ports, so I'm not sure what you mean > > > by "proper". Does http://wiki.debian.org/PPC64 not work for you? > > > > You can easily check on

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

2013-07-07 Thread Steve M. Robbins
On July 7, 2013 06:58:12 AM Bill Allombert wrote: > > I don't really track the various ports, so I'm not sure what you mean by > > "proper". Does http://wiki.debian.org/PPC64 not work for you? > > You can easily check on that > there is no libgmp-dev p

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

2013-07-07 Thread Bill Allombert
On Sat, Jul 06, 2013 at 05:05:19PM -0500, Steve M. Robbins wrote: > On July 6, 2013 04:05:54 PM you wrote: > > On Fri, Jul 05, 2013 at 08:42:49PM -0500, Steve M. Robbins wrote: > > > > Not to worry: I plan to remove lib32gmp next upload. :-) > > > > I wondered why the move to gmp32 was done in f

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

2013-07-06 Thread Steve M. Robbins
On July 6, 2013 04:05:54 PM you wrote: > On Fri, Jul 05, 2013 at 08:42:49PM -0500, Steve M. Robbins wrote: > > 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 didn't remove it at the time because there ar

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

2013-07-06 Thread 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/

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

2013-07-05 Thread 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. > >

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

2013-07-05 Thread Bill Allombert
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, -- Bill. Imagine a large red swirl here. -- To UNSUBSCRI