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