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

From: [email-masked] (Niels Möller)
Date: Thu, 27 Oct 2016 14:29:54 +0200

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

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

Hi, I'm curious if there's been any further progress?

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677.
Internet email is subject to wholesale government surveillance.