On 09/09/2018 03:46 AM, Guillem Jover wrote: > Hi! > > On Sat, 2018-09-08 at 20:18:10 +0200, Sylvestre Ledru wrote: >> Le 08/09/2018 à 18:39, Sean Whitton a écrit : >>> On Fri 07 Sep 2018 at 10:10PM +0200, Ruben Undheim wrote: >>>> However, I think the policy gives us a lot of freedom to choose (it >>>> is not very strict in this case). >>> >>> I don't understand. This seems pretty strict: >>> >>> Two different packages must not install programs with different >>> functionality but with the same filenames. > >> I think the policy should be changed. > > I'd very very strongly oppose any such change. > Ditto.
Cheers, Julien