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

[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 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

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?

Regards,
-Steve