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

[zimoun]

Hi Julien,

On Sat, 20 Mar 2021 at 06:48, Julien Lepiller <julien@lepiller.eu> wrote:

> This is not a bug: coqide brings a lot of dependencies, so it's in a

What do you mean?

--8<---------------cut here---------------start------------->8---
$ guix package -i coq -n
The following package would be installed:
   coq 8.11.2

125.8 MB would be downloaded

$ guix package -i coq:ide -n
The following package would be installed:
   coq:ide 8.11.2

125.8 MB would be downloaded

$ guix package -i coq coq:ide -n
The following packages would be installed:
   coq     8.11.2
   coq:ide 8.11.2

125.8 MB would be downloaded
--8<---------------cut here---------------end--------------->8---


> separate output, as you can see with guix search or guix show. To
> install it, install the ide output, like so: 
>
> guix install coq:ide

I am always confused by these multi-outputs packages, as git:send-email
or coq:ide or th recent “ocaml-z3“.  They often increase the number of
build-time dependencies and they are less discoverable, IMHO.

They make sense for -doc or -debug but otherwise they appear to me
confusing.


Cheers,
simon