[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 <julien@lepiller.eu> 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
dependencies.
> 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. :-)
Cheers,
simon
- Bug? coqide missing? (in package coq, version 8.11.2), yasu, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), Julien Lepiller, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), yasu, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), zimoun, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), Julien Lepiller, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2),
zimoun <=
- Re: Bug? coqide missing? (in package coq, version 8.11.2), Julien Lepiller, 2021/03/20
- Re: Bug? coqide missing? (in package coq, version 8.11.2), zimoun, 2021/03/21