[graph-tool] Unable to verify the key

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 Sent with [ProtonMail](https://protonmail.com) Secure Email.