APT Key Server Timeout

graph-tool
1

Is the key server currently down? I've tried to add the apt key from
computers on two different networks and in both cases I get a keyserver
time out.

Thanks!

attachment.html (209 Bytes)

2

This has been fixed; thanks!