Thanks for the very useful report. What would be helpful is if you could send us a copy of the relevant parts of your sources.list -- I'm unfamiliar with the way you tweak it to set priorities. Best, Peter