On Wed, Mar 19, 2025 at 16:26 Stefan Monnier <monnier@iro.umontreal.ca>
wrote:

> > With the patch in https://debbugs.gnu.org/cgi/bugreport.cgi?bug=76568
> > duplicates will be harder to install.
>
> They're still easy to have (e.g. install some packages system-wide and
> then let the users install other versions in their home dir), and that's
> a good thing: we want to support setups with several versions installed
> at the same time.  Of course, users usually don't want that, so it's
> good to make sure it doesn't happen by accident.  In any case, my
> question was simply to confirm that I understood correctly the
> information that's displayed.


Maybe I should change the patch to prompt for allowing a dupe install if
that's what someone wants?