Hello, Tried to post this once before but it got rejected from the mailing list for some reason. I'm trying to install GNU Guix using the installation script (https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh) .
Early on, there is a GPG verification step that fails due to a missing PGP key. The script tells me: [1550113585.102]: Starting installation (Wed Feb 13 19:06:25 PST 2019) [1550113585.106]: [ PASS ] verification of required commands completed [1550113585.113]: [ FAIL ] Missing OpenPGP public key. Fetch it with this command: gpg --keyserver pool.sks-keyservers.net --recv-keys 3CE464558A84FDC69DB40CFB090B11993D9AEBB5 However, upon running that gpg command, I receive the following error message: "gpg: keyserver receive failed: No data" It appears this key is missing from the key server. Additionally, I've been searching all around other key servers for this key and I can't find anything. Not sure what to do about this. Is there a place I can find this key, or is it safe to just comment out the verification step in the installation script for now? Thanks, - Evan