Is apt pinning even recommendable in a special situation like this? Let's say I want to install a package from extras-devel or cssu-devel, and it wants to pull in dependencies - shouldn't those also be from extras-devel or cssu-devel? I just tried with claws-mail from extras-devel, and with the apt pinning as above it installed all dependencies from the stable repos?