Here is the excerpt from the sources.list manpage: "It is important to list sources in order of preference, with the most preferred source listed first. Typically this will result in sorting by speed from fastest to slowest (CD-ROM followed by hosts on a local network, followed by distant Internet hosts, for example).
My reasoning for the "bug" is a little different than what is described in the manpage. However, I still feel that a system configured with repository Pinning should be consistent with the output of apt-cache policy and apt-get and take the Pinning into consideration. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1268716 Title: Pinning repositories not being used properly in apt-get dist-upgrade -s To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/apt/+bug/1268716/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs