On 01/03/2014 03:41 AM, Виталий Филиппов wrote: > AFAIK the apt_preferences method is rather simple: > > Package: * > Pin: release o=Debian > Pin-Priority: 1001 > > With that setting 'apt-get dist-upgrade' downgrades DMO packages to > official ones. At least it did in my case.
Does it work if you have Debian, deb-multimedia, another third-party repo, and you just want to remove deb-multimedia? Thanks. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/52c6f111.5020...@alvarezp.ods.org
