Use "apt-cache policy" to see what are your repositories' priorities, and than adjust them in /etc/apt/preferences. That synaptic option probably changes Default-Release in apt.conf[.d/], but, I don't recommend it because I think it's simpler to specify everyting in /etc/apt/preferences.
-- http://markorandjelovic.hopto.org -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20140210051637.133ed...@eunet.rs
