[graph-tool] APT Key Server Timeout

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!