Subject: Re: bug#10519: guile and (mini-)gmp

From: Andy Wingo <[email-masked]>
Date: Thu, 10 Nov 2016 20:56:18 +0100

On Thu 27 Oct 2016 14:29, [email-masked] (Niels Möller) writes:

> Mark H Weaver <[email-masked]> writes:
>
>> FYI, I've pushed patches to Guile's git repository (stable-2.0 branch)
>> which eliminate the known obstacles to mini-gmp integration.
>
> Hi, I'm curious if there's been any further progress?

I think we dropped the ball here.  I would like to do it though.

Andy