Upon second inspection, the patch I previously posted does not work. It looks like I misinterpreted the Keep() state and I couldn't make enough sense of the apt-pkg API to correct the patch.
So, please disregard my previous patch, and sorry for the noise. Bart. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
