Re: [graph-tool] Unable to verify the key

Am 05.06.2018 um 07:01 schrieb Snehal Shekatkar:

I am trying to install graph-tool on Ubuntu 17.10 and tried verifying the suggested key using:

apt-key adv --keyserver pgp.skewed.de --recv-key 7A80C8ED4FCCBE09

However, it simply times out. What am I missing?

I don't know, it works for me. -- Tiago de Paula Peixoto <tiago@skewed.de>