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.
_______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
