Hi Julien,
Am Donnerstag, den 21.08.2008, 13:02 +0200 schrieb Julien Claassen:
OK, the problem solidified thus: ketchup can't
find the public key. what can I
do about this. I have gpgv and gpgkeys debian packages installed. what else is
there?
did you import the current kernel key?
gpg --keyserver
wwwkeys.pgp.net --recv-keys 0x517D0F0E
<http://www.kernel.org/signature.html>
HTH
Jan