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