Re: gpg key change

Page principale

Répondre à ce message
Auteur: Andrew Engelbrecht
Date:  
À: dmo-discussion
Sujet: 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?

thanks
andrew