From 2e3a6250f8b1232c7f49f84ee7320bcd9869508a Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Mon, 24 Sep 2018 14:16:13 +0200
Subject: gnupg: Change default keyserver.

* guix/gnupg.scm (%openpgp-key-server): Change default to
"pool.sks-keyservers.net".
---
 guix/gnupg.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/guix/gnupg.scm b/guix/gnupg.scm
index b30ce461b4..40feb44561 100644
--- a/guix/gnupg.scm
+++ b/guix/gnupg.scm
@@ -57,7 +57,7 @@ (define current-keyring
 (define %openpgp-key-server
   ;; The default key server.  Note that keys.gnupg.net appears to be
   ;; unreliable.
-  (make-parameter "pgp.mit.edu"))
+  (make-parameter "pool.sks-keyservers.net"))
 
 (define* (gnupg-verify sig file
                        #:optional (keyring (current-keyring)))
-- 
cgit v1.2.3