On Wednesday 28 November 2001 05:58 am, Peter Makholm wrote: > Christoph Martin <martin@uni-mainz.de> writes: > > Any hints? Do we have a tool for this? > > Doesn't apt-get with the right preferences-file solve you problem? > > Read 'man apt_preferences'. > isn't that version of apt only in >= woody?