Can't download signing key for Guix 0.13.0

Can't download signing key for Guix 0.13.0

[oge]

Hi all,

I'm starting out with Guix but for some reason I can't download the 
public key to verify the Guix 0.13.0 download.

The following command (from 
https://www.gnu.org/software/guix/manual/html_node/Binary-Installation.html) 
failed:

$ gpg --keyserver pgp.mit.edu --recv-keys 
3CE464558A84FDC69DB40CFB090B11993D9AEBB5

I even tried searching for the key using the pgp.mit.edu Web interface 
but had no luck.

How can I verify that my Guix binary is trustworthy?

Oge Nnadi.

Re: Can't download signing key for Guix 0.13.0

[Jonathan Brielmaier]

Hello Oge,

I checked that command on my machine an it worked as intended :) If you 
want to search on pgp.mit.edu you have to ad "0x" before the key.

You can find the key here: 
https://pgp.mit.edu/pks/lookup?search=0x3CE464558A84FDC69DB40CFB090B11993D9AEBB5&op=index

Jonathan

On 06/11/17 10:26, oge wrote:
> Hi all,
> 
> I'm starting out with Guix but for some reason I can't download the 
> public key to verify the Guix 0.13.0 download.
> 
> The following command (from 
> https://www.gnu.org/software/guix/manual/html_node/Binary-Installation.html) 
> failed:
> 
> $ gpg --keyserver pgp.mit.edu --recv-keys 
> 3CE464558A84FDC69DB40CFB090B11993D9AEBB5
> 
> I even tried searching for the key using the pgp.mit.edu Web interface 
> but had no luck.
> 
> How can I verify that my Guix binary is trustworthy?
> 
> Oge Nnadi.
> 

Re: Can't download signing key for Guix 0.13.0

[Leo Famulari]

[-- Attachment #1: Type: text/plain, Size: 652 bytes --]

On Mon, Nov 06, 2017 at 10:26:40AM +0100, oge wrote:
> Hi all,
> 
> I'm starting out with Guix but for some reason I can't download the public
> key to verify the Guix 0.13.0 download.
> 
> The following command (from
> https://www.gnu.org/software/guix/manual/html_node/Binary-Installation.html)
> failed:
> 
> $ gpg --keyserver pgp.mit.edu --recv-keys
> 3CE464558A84FDC69DB40CFB090B11993D9AEBB5

The canonical source of Guix-related PGP keys is the membership list of
our project's page on Savannah:

https://savannah.gnu.org/projects/guix

That particular key belongs to Ludovic Courtès:

https://savannah.gnu.org/users/civodul

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

Re: Can't download signing key for Guix 0.13.0

[oge]

Hey Jonathan,

gpg --keyserver started working for me now. Sorry for the spurious report.

Thanks for verifying for me, and for the tip about 0x as well.

Oge Nnadi.