Bug#723010: libgmp-dev: please reinstate lib64gmp-dev on ppc64

[Manuel A. Fernandez Montecelo]

Hi,

2016-04-16 13:09 GMT+01:00 Bill Allombert <Bill.Allombert at math.u-bordeaux.fr>:
> unarchive 723010
> reopen 723010
> quit
> On Sat, Mar 12, 2016 at 01:10:44PM +0000, Manuel A. Fernandez Montecelo wrote:
> dd
>> Version: 2:6.0.0+dfsg-4
>> Hi,
>
> Please always CC the submitter when closing a bug, thanks!

Sorry, I thought that with the email sent by -done it was enough to
get you notified -- that's what most people do it in the packages that
I have close contact with.


>> (bug triaging on the fly while looking at other things, sorry if not
>> welcome...)
>>
>> 2013-09-15 12:19 Bill Allombert:
>> >Package: libgmp-dev
>> >Version: 2:5.1.2+dfsg-2
>> >Severity: wishlist
>> >
>> >Hello Steve,
>> >
>> >Please reinstate lib64gmp-dev on powerpc until ppc64 is an official Debian
>> >distribution. And maybe the same for sparc/sparc64.  Otherwise, there will be
>> >no ppc 64bit libgmp-dev for jessie since unofficial ports only carry sid.
>>
>> If not before, I think that this was fixed in version 2:6.0.0+dfsg-4
>> long ago.
>
> Hello Manuel,
>
> I cannot find this package in the archive:
> %rmadison lib64gmp-dev
> lib64gmp-dev | 2:5.0.5+dfsg-2 | oldstable  | powerpc
> so I assume this bug was not fixed.
> Which is too bad beacuse the unofficial ppc64 port is not reliable
> currently, which is especially important when using multiarch.

(the following it's an explanation of my reasoning why I closed it, I
don't have any stakes in this).

I thought that the issue was "solved" in a way because 2:6.0.0+dfsg-4
doesn't provide any package named lib64gmp-dev or lib32gmp-dev
(removed in 2:5.1.2+dfsg-3), neither for this architecture nor for any
others, and because libgmp-dev has been built successfully in recent
versions of the package for ppc64.

At the time you submitted another bug #714998 against the package
because "You can easily check on
<http://packages.debian.org/sid/libgmp-dev> that there is no
libgmp-dev packages for ppc64".  There was, but due to a bug in the
code generating the website, it didn't appear there (according to
comments in that report).

Since libgmp-dev in ppc64 is it's been working for years, I expected
that the problem was indeed solved for you, and that you would be able
to use ppc64's libgmp-dev for the speed gains, and that this bug just
laid forgotten in the BTS.

Sorry for all the mess.


Cheers.
-- 
Manuel A. Fernandez Montecelo <manuel.montezelo at gmail.com>