Am 13.06.19 um 18:38 schrieb Spam Spam: > What do I need to do now? I'm still getting the error... > > Maybe some "sudo apt-get update" or something? But it does not work...
You were just supposed to wait. You can try again now (after running "apt-get update"). Best, Tiago -- Tiago de Paula Peixoto <[email protected]> _______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
