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

From: Mark H Weaver <[email-masked]>
Date: Sat, 02 Mar 2013 15:58:34 -0500

Hi Andy,

Andy Wingo <[email-masked]> writes:
> A ping on this bug on getting Guile to have the possibility of using an
> embedded copy of mini-gmp.

I'm embarrassed to admit that the integration of mini-gmp into guile has
long been waiting on my pending numerics patches.  I'll try to get going
on this (and some other things) for the 2.0.8 release.

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=10519#8

    Thanks,
      Mark