Juliusz Chroboczek wrote:
>Emilio Pozuelo Monfort wrote:
>> You have not yet explained why apt pinning is not enough.

Simply because apt is not the only way to install packages.

> - conflicting packages are honoured by dpkg, unlike pinning;
> - a package can conflict with multiple packages, while you need
>   multiple pinning entries;

Right. Furthermore, pinning can be used by the local admin,
without namespacing pin priorities or somesuch, so it’s not
something packages should do.

There is another benefit: conflicting packages allow all
package managers’ resolvers to find nice dependency chains,
they can be cleanly removed, and they show up in dpkg.log
(and apt/term.log if apt is used to install them).

bye,
//mirabilos


-- 
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/lp35mr$3pp$1...@ger.gmane.org

Reply via email to