It's very much possible that I am misinterpreting the output of "apt-
cache policy". As others have pointed out in the Debian BTS it is not
always clear what the numbers in different positions mean (" ***
9.3.3-0.0 10", for example, why 10 and 0 for the other two times later
on?). Be that as it may, the important thing is whether the package is
pinned. And that is not the case unless using *, the package with the
higher version number from the partner repo will get installed. And
that is what this bug report is about. QED
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/565364
Title:
pinning a specific package does not work
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
