Unable to verify the key

graph-tool
1

Hi Tiago,

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?

Thanks
Snehal

attachment.html (688 Bytes)