Re: [PATCH] gnu: gzochi: Update to 0.10.

[Julian Graham]

Hi David,

On Sun, Aug 21, 2016 at 5:20 PM, David Craven <address@hidden> wrote:
> I hadn't realized that you are the author of gzochi.

Yep!


> What I meant was that gmp end up being referenced by gzochi even dough
> it's not explicitly in the inputs field. Are you saying that this
> shouldn't be the case then?

No, I think that's fine. I'm not an expert with Guix, but I assume the
inclusion of GMP happens transitively - gzochi depends on Guile, Guile
depends on GMP.