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