[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Bug? coqide missing? (in package coq, version 8.11.2)

From: zimoun
Subject: Re: Bug? coqide missing? (in package coq, version 8.11.2)
Date: Sun, 21 Mar 2021 01:34:48 +0100

Hi Julien

On Sat, 20 Mar 2021 at 19:53, Julien Lepiller <> wrote:
> guix size coq -> 869.7 MB
> guix size coq:ide -> 1557.0 MB

Yeah, but you have a high probability to have already have these

> Almost twice as much, because this brings in graphical
> dependencies. Separating packages to multiple outputs can reduce the
> closure size of some outputs, but if you build the package, you get
> the same number of dependencies as if there were a single output. You
> have everything to gain if you get substitutes, and nothing to lose if
> you don't have any or want to use the more expensive output. 

You loose what I wrote: more dependencies and less discoverability. :-)

I agree it reduces the closure size.  But it is not different to have
different packages using inherit, right.

Well, it seems a matter of taste. :-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]