Assign higher priority to PPA

Here is an example of /etc/apt/preferences

mint@mint ~ $ cat /etc/apt/preferences
Package: *
Pin: release o=linuxmint
Pin-Priority: 700

Package: *
Pin: origin packages.linuxmint.com
Pin-Priority: 700

Package: *
Pin: release o=Ubuntu
Pin-Priority: 500

You probably have to run apt-get update after creating the file.


Short answer: Set pinning-priority to less than 0 and set o=LP-PPA-*, e.g.

Package: nginx-full
Pin: release o=LP-PPA-brightbox-ruby-ng-experimental
Pin-Priority: -10

Quote from apt_preferences-manpage:

How APT Interprets Priorities
...
P < 0
prevents the version from being installed

Further information: http://manpages.ubuntu.com/manpages/raring/en/man5/apt_preferences.5.html and https://help.ubuntu.com/community/PinningHowto.