Hi Julien, On Sat, 20 Mar 2021 at 22:04, Julien Lepiller <[email protected]> wrote: > Le 20 mars 2021 20:34:48 GMT-04:00, zimoun <[email protected]> > 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
