On 21.06.2013 15:04, Andrei POPESCU wrote: > I think we didn't understand priorities correctly. Let's see again what > the fine manual (apt_preferences(5)) says: > > […] > As per above output you have 6:9.3-1 installed, which is more recent > than 6:0.8.6-1. Because of this apt wants to jump directly to the higher > version from dmo (apt will not downgrade unless the priority is higher > than 1000). Does this make sense?
Oh yes, that was the crux of the matter. The apt-cache policy output is a bit confusing in my opinion (sooo many numbers…), and the man page does not say anything about how to interpret it… Anyways, thanks for the hint, the following pinning works as expected: Package: * Pin: release o=Unofficial Multimedia Packages Pin-Priority: 450 Package: libav* Pin: release o=Unofficial Multimedia Packages Pin-Priority: -1 Cheers, Roland -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/kqda5u$gnc$1...@ger.gmane.org
