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

From: Mark H Weaver <[email-masked]>
Date: Sun, 17 Mar 2013 20:01:29 -0400

FYI, I've pushed patches to Guile's git repository (stable-2.0 branch)
which eliminate the known obstacles to mini-gmp integration.

     Mark