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