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'.
--
Når folk spørger mig, om jeg er nørd, bliver jeg altid ilde til mode
og svarer lidt undskyldende: "Nej, jeg bruger RedHat".
-- Allan Olesen på dk.edb.system.unix