[graph-tool] Keyserver OK?

Tim Day timday at gmail.com
Thu Mar 13 09:55:37 CET 2014

I'm having problems accessing the keyfile for the Debian/Ubuntu packages
via the link on the download page:
gets me an "unable to connect" page in Firefox.
I can ping pgp.skewed.de fine.
Just me?  (I'm travelling at the moment, I don't think the internet here is
blocking any ports but not sure how to tell for sure).
Can the keyfile be obtained through any other public keyservers?  (I did
try searching the PGP Global Directory for 98507F25 but no joy).
Thanks for any info/help
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.skewed.de/pipermail/graph-tool/attachments/20140313/ff05e60d/attachment.htm>

More information about the graph-tool mailing list