bug#10519: guile and (mini-)gmp

[Mark H Weaver]

Hello all,

I wrote:
> 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

I've posted a new set of patches for stable-2.0 to guile-devel:

  http://lists.gnu.org/archive/html/guile-devel/2013-03/msg00011.html

This patch set eliminates the known obstacles to integration of
mini-gmp.

    Regards,
      Mark