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

From: [email-masked] (Ludovic Courtès)
Date: Mon, 18 Mar 2013 10:19:22 +0100

Mark H Weaver <[email-masked]> skribis:

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

Great, thanks!  And sorry for not following more closely...

Ludo’.