There is a new doc on the wiki: https://www.ubuntulinux.org/wiki/PinningHowto It is taken from the debian docs, but needs to be rewritten for Ubuntu, if you are an experienced Debian user, please add your comments, either to this mail or to the wiki. thanks and greetings, Alexander Poslavsky, Ubuntu Doc Team