bug#12216: Problems with Guile's number printer

I've pushed 1ea37620c2c1794f7685b312d2530676a078ada7 to stable-2.0, which fixes our number printer. Closing this bug. Thanks, Mark

bug#10519: guile and (mini-)gmp

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

bug#12216: Problems with Guile's number printer

I wrote: > I've pushed 1ea37620c2c1794f7685b312d2530676a078ada7 to stable-2.0, > which fixes our number printer. Closing this bug. Sorry, I sent this to the wrong bug. Oops :) Mark

bug#13757: Problems with Guile's number printer

I've pushed 1ea37620c2c1794f7685b312d2530676a078ada7 to stable-2.0, which fixes our number printer. Closing this bug. Thanks, Mark