Hi,
Julien Lepiller skribis:
> On a recently installed system, I ran guix install coq -n. Guix told me it
> would download 270 MB and do 4 hooks. Guix install coq however told me it
> will 521 MB (which it did) including a lot more packages (including
> coq:ide),the same 4 hooks with differen
On a recently installed system, I ran guix install coq -n. Guix told me it
would download 270 MB and do 4 hooks. Guix install coq however told me it will
521 MB (which it did) including a lot more packages (including coq:ide),the
same 4 hooks with different store hashes and additional grafts. Th
