On Thu, 16 Jul 2009 00:04:58 +0100 Darren Salt <linux at youmustbejoking.demon.co.uk> wrote: > I see no reason not to mix them. "man apt_preferences" for more information. Or http://wiki.debian.org/AptPinning Ben