Re: gpg key change

Top Page

Reply to this message
Author: Andrew Engelbrecht
To: dmo-discussion
Subject: Re: gpg key change

On 01/13/2015 06:51 PM, Christian Marillat wrote:
> On 13 janv. 2015 22:14, Andrew Engelbrecht <sudoman@???> wrote:
>> did you change your gpg key for the deb-multimedia archive?
> Yes. Should not be a problem if the deb-multimedia-keyring package is
> installed.

my installation of that package was out of date, probably due to my apt
pinning score being too low. upgrading it fixed the issue

do you know how to pin deb-multimedia packages so that they upgrade, but
only if there is no such package in jessie?