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

[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 favor of removing the package.
> 
> I didn't remove it at the time because there are two reverse build-deps.  I've 
> since been in contact with maintainers of both and they have agreed to remove 
> the packages that were using lib32gmp.  So I will then remove lib32gmp.
>  
> > I hope you will still provide lib64gmp for powerpc until there is a proper
> > ppc64 port.
> 
> Bad news on that front: since there were no r-build-deps, I already removed 
> lib64gmp.  :-O

Would you mind reinstating it ? lib64gmp is much faster than libgmp on ppc64.

> 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 <http://packages.debian.org/sid/libgmp-dev> that
there is no libgmp-dev packages for ppc64.

Cheers,
-- 
Bill. <ballombe at debian.org>

Imagine a large red swirl here.