APT can't guess that the two packages are not identical. Please always
change version numbers for local builds. Your pin is obviously
respected, but then again, once there are multiple sources for one
version, APT takes the first one. Pin Priorities are only relevant for
choosing versions, not sources.
** Changed in: apt (Ubuntu)
Status: New => Invalid
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/572613
Title:
apt doesn't respect repository order or pin preference
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
