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. <[email protected]> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
