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

[zimoun]

Hi Julien,

On Sat, 20 Mar 2021 at 22:04, Julien Lepiller <julien@lepiller.eu> wrote:
> Le 20 mars 2021 20:34:48 GMT-04:00, zimoun <zimon.toutoune@gmail.com>
> a écrit

>>You loose what I wrote: more dependencies and less discoverability. :-)
>
> Why more dependencies? There are either the same amount if you want coq:ide, 
> or less than before if you don't.

*more dependencies when you build it.  I agree that when the substitute
 is available, mutlioutput saves resources.


Cheers,
simon