[graph-tool] Re: gpg: keyserver receive failed: General error

[Nic Fishman]

[https://mailguru.s3.amazonaws.com/images/spark/qr.v2/b2321397254348fe8ad2b8fd7c77cc82.png]

Njwfish liked your email
___
graph-tool mailing list -- graph-tool@skewed.de
To unsubscribe send an email to graph-tool-le...@skewed.de

[graph-tool] Re: gpg: keyserver receive failed: General error

[Tiago de Paula Peixoto]

Am 01.10.21 um 02:44 schrieb behnam nikparvar:

Hi Tiago,

I am not sure if this issue is sourced from graph-tool. When I try to download 
the public key, I get this error:

echo "deb http://downloads.skewed.de/apt bionic main" >> /etc/apt/sources.list
apt-key adv --keyserver keys.openpgp.org --recv-key 612DEFB798507F25

Error:
Executing: /tmp/apt-key-gpghome.wVeQRbY1M1/gpg.1.sh --keyserver 
keys.openpgp.org --recv-key 612DEFB798507F25
gpg: keyserver receive failed: General error



Indeed this has nothing to do with graph-tool and I have no control over 
the keys.openpgpg.org key server. Please check your network 
connectivity, try another key server, or try to download the key 
directly via the browser.


--
Tiago de Paula Peixoto 
___
graph-tool mailing list -- graph-tool@skewed.de
To unsubscribe send an email to graph-tool-le...@skewed.de