My attempts at pinning obviously don't do what I expect (that is, apt-get just goes for the highest version and seems to ignore the preferences). Is there any way I can tell apt-get to explain why it chooses which version? MfG Kai